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

摘要：

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

关键词：嵌入式系统、协调设计、功能验证、模拟器、RTOS

所属期刊栏目：16

分类号：TP15(自动化基础理论)

资助基金：国防科技应用基础研究基金J1400B006;军用微电子基金41308010408

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

页数：共5页

页码：105-108,115