嵌入式系统协同验证环境的设计与实现

• 作者: 余克清 刘积仁 王勇峰 郭晓东
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 协同验证 协同模拟 指令集模拟器 离散事件模型
• 年，卷（期）: 2000,（10）
• 所属期刊栏目: 电子设计自动化
• 页码范围: 736-739
• 页数: 4页
• 分类号: TP337
• 字数: 4655字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2000.10.004

摘要

介绍了一个用来验证嵌入式系统硬件/软件,及其交互功能的硬件/软件协同验证环境.硬件/软件功能分别使用系统提供的EHDL语言及ESDL语言设计和描述.该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成,其采用了指令集结构的协同模拟模型.利用该集成环境,硬件/软件的设计错误可以在系统制造之前被发现并修改.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘积仁	东北大学计算机软件国家工程研究中心	84	1560	20.0	37.0
2	郭晓东	东北大学计算机软件国家工程研究中心	8	159	5.0	8.0
3	余克清	东北大学计算机软件国家工程研究中心	5	117	4.0	5.0
4	王勇峰	东北大学计算机软件国家工程研究中心	4	159	3.0	4.0