10.3969/j.issn.1000-7024.2004.07.005
嵌入式微处理器的软硬件协同验证
软硬件协同验证是解决系统芯片验证的关键技术.模型驱动的软硬件协同验证方法是一种新颖的嵌入式微处理器的验证方法,其主要部分包括基于真实的验证平台、验证向量的自动生成器、验证结果的分析和比较器.该验证方法可实现嵌入式微处理器的完备验证,且基于该方法实现的验证平台可很容易地转化为系统芯片的设计及验证平台.
嵌入式微处理器、软硬件协同验证、系统芯片、模型驱动、多层次模拟
25
TP3(计算技术、计算机技术)
国家高技术研究发展计划863计划2002AA1Z 030
2004-09-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
1053-1055,1058