论文部分内容阅读
介绍了一个用来验证嵌入式系统硬件／软件，及其交互功能的硬件／软件协同验证环境，硬件／软件功能分别使用系统提供的ＥＨＤＬ语言及ＥＳＤＬ语言设计和描述，该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成，其采用了指令集结构的协同模拟模型，利用该集成环境，硬件／软件的设计错误可以在系统制造之前被发现并修改。