实时嵌入式系统协调设计的行为验证模型

• 作者: 严迎建 刘明业 王世好
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 嵌入式系统 协调设计 功能验证 模拟器 RTOS
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 电子设计自动化
• 页码范围: 105-108,115
• 页数: 5页
• 分类号: TP15
• 字数: 2976字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2004.01.018

摘要

嵌入式系统协调设计中,通常采用协同验证方法检验系统设计的正确性,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟.指令集模拟从底层时序关系模拟CPU功能,通过建立与硬件模拟器连结关系来验证软硬件接口.指令集模拟的主要特点是模拟精度高,但模拟速度慢,对于不同的CPU结构需要构造不同的指令集模拟器.文中研究一种基于RTOS实时嵌入式系统行为验证模型,通过扩展RTOS功能,建立RTOS软件模拟器,实现RTOS模拟器和VHDL/VerilogHDL协同模拟交互.RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开,实现嵌入式软件设计与硬件平台的弱相关,从更高层次验证系统功能.