基于SystemC和ISS的软硬件协同验证方法

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:cuitlcm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着SoC的出现和发展,软硬件协同验证已经成为当前的研究热点。本文对传统的基于ISS的软硬件协同验证方法进行改进,提出了一种基于SystemC和ISS的软硬件协同验证方法。该方法使用SystemC分别对系统进行事务级、寄存器传输级的建模,在系统验证早期进行无时序的软硬件协同验证,后期进行时钟精确的软硬件协同验证。并对仿真速度进行了优化。同传统的基于ISS的软硬件协同验证方法相比,该方法保证了软硬件的并行开发,且仿真速度快、调试方便,是一种高效、高重用性的软硬件协同验证方法。
其他文献
跨组织工作流系统需要高级的控制和协同机制,以满足柔性和自适应性的需求。本文讨论了基于元工作流和ESP规则的跨组织工作流的控制和协同框架。
本文详细介绍了一种基于Linux系统和S3C2410平台的嵌入式图象传输系统的设计方法,主要介绍了其服务器端和客户端软件系统的设计,包括摄象头驱动和图象采集程序的实现、图片的
建立了装备维修保障系统的随机Petri(SPN)模型,应用SPN与马尔可夫链理论相结合的分析方法。为维修保障系统性能评估提供了理论依据。最后,通过实例分析了系统状态空间、各状态在
畜牧兽医新技术推广不仅能够有效控制动物疫情,还给农村经济结构增加了新内容,促进经济的多元化发展。在推广中应该建立完善的管理体系,大量引进高素质人才,加大资金力量的投
提出了一种新的基于小波和时频分解的语音端点检测方法。首先通过小渡分解对舍噪信号进行增强,然后采用Matching pursuits算法对去噪信号进行时频分解.使得信号在时频平面上具