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

摘要：

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

关键词：协同验证、协同模拟、指令集模拟器、离散事件模型

所属期刊栏目：12

分类号：TP337(计算技术、计算机技术)

资助基金：新材料领域项目863-306-01-05

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：736-739