检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《微电子学与计算机》2006年第7期53-57,共5页Microelectronics & Computer
摘 要:文章通过对Summit设计公司的VisualEliteESC中使用的多语言协同验证工具V-CPU的分析,介绍了传统的协同验证方法的构造思想。在此基础上,应用SystemC建模语言作为统一的硬软件建模工具,通过GDB调试工具,设计了集成ISS的SystemC内核的协同验证环境的构造方法。V-CPU is a co-verification environment based on traditional co-verification method. We analysed this typical environment and found the bottleneck of traditional co-verification method. Using GDB remote debugger, we described a new co-verification method based on SystemC kernel with integrated ISS and showed the HW/SW prognmmfing models under this environment.
关 键 词:协同验证 指令集仿真器 进程间通信 SYSTEMC GDB
分 类 号:TP302[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.229