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

来源 :计算机辅助设计与图形学学报 | 被引量 : 2次 | 上传用户：sway6543058

【摘要】

：

嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口指令集模拟的主要特点是模拟精度高 ,但模拟速度慢 ,对于不同的CPU结构需要构造不同的指令集模拟器文中研究一种基于RTOS实时嵌入式系统行为验证模型 ,通过扩展RTOS功能 ,建

【作者】

：

王世好严迎建刘明业

【机构】

：

北京理工大学ASIC研究所

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2004年01期

【关键词】

：

实时嵌入式系统协调设计行为验证指令集模拟 embedded system co-design function verification simulato

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

试论转基因抗虫杂交棉的规范应用

转基因抗虫杂交棉是棉花发展的方向.文章归纳了种植转基因抗虫杂交棉的好处,总结了生产应用中存在的问题,分析了产生这些问题的原因,并对规范利用转基因抗虫杂交棉的措施进行

期刊

转基因杂交棉生物技术抗虫基因品种利用

大数据时代高校思想政治教育的创新发展

在大数据时代发展的情形下,思想政治教育改革也随之而来,对教学策略提出极高要求,这就需要高校坚持素质教育改革的目标和宗旨,创新思想政治教育观念,深入推进新教育改革发展,

期刊

大数据时代高校思想政治教育创新发展

迈克尔·杰克逊的音乐奇迹及其专辑

1辉煌的一生迈克尔·杰克逊(Michael Jackson,1958.8.29—2009.6.25),被誉为流行音乐之王(King of Pop),也素有“舞王”之称,是继猫王之后西方流行乐坛最具影响力的音乐家,其

期刊

杰克逊Michael个人专辑

陕甘宁边区呈现出的社会和谐探因——纪念陕甘宁边区政府成立70周年

为了研究我们党的执政规律及其历史经验,探讨党在陕甘宁边区执政时期社会形态所呈现出的和谐社会特征,通过对边区政权建设史料的研究,用与时俱进的思想方法阐述延安精神在和

期刊

陕甘宁边区社会和谐延安精神实事求是与时俱进

基于相似性的产品模块构建方法及其应用

应用数量积法确定零部件之间的交互关系,利用传递闭包法生成相似零部件动态聚类过程,通过确定合理的置信水平构建出产品模块·结合注塑机产品的计算机辅助配置设计,给出了该方法在构建注塑机产品模块中的实际应用,说明其具有较强的适用性和有效性·

期刊

产品模块大批量定制传递闭包法相似性配置product module mass customization transitive closure sim

二维点模式图像的仿射变换配准

提出了一种图像特征点配准算法·该算法为二维点模式图像仿射配准建立了新的求解模型,此模型对参考图像的特征点集和浮动图像的特征点集分别进行Whitening变换,将点集间的一般仿射变换问题转换为刚性变换问题;在对刚性变换求解时,采用平滑性好、局部极值较少的新的目标函数;并引入了形变程度分量,使该算法更能符合实际应用·结合文中提出的新的仿射不变量,目标函数只需在平分法的基础上加入随机因素便能快速求解·实

期刊

图像配准点模式匹配Whitening变换仿射不变量优化image registration point pattern matching Whiten

建议一种新的主观主义价值论

在价值论中,至少有下列四种理论:(1)价值是主观的;(2)价值是客观的;(3)价值是非主观的,又非客观的,而是关系的;(4)价值既是主观的,又是客观的.本文认为,这四种学说,都不够周

期刊

竹值论新主观主义准客观

前进中的河北工业大学计算机科学与软件学院

期刊