基于VMM方法学的系统级软硬件协同仿真验证

来源 :微型机与应用 | 被引量 : 0次 | 上传用户:ajimide001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对一款高性能复杂SoC芯片的设计,提出了一种新的软硬件协同仿真验证方案。通过比较仿真环境中软硬件间通信的各种实现方式,构建了一种新的符合VMM标准的验证平台。同时为加快覆盖率的收敛速度,给出了随机激励约束的优化方法。实践表明,新的约束和仿真方式使覆盖率收敛速度提高数倍,验证效率显著提高。
其他文献
采用32位ARM微处理器、CMOS图像传感器和CPLD为核心器件,设计实现面向机器视觉领域的CMOS图像采集系统,主要功能模块有SDRAM存储单元、图像采集单元、以太网传输模块、UART串口
EIB智能控制系统是一种现场总线制多功能楼宇设备控制系统。详细介绍了EIB智能控制系统的组成、原理及基于EIB的现代化调光系统设计与实现。
在简述WinCE系统中普通IRQ中断处理过程的基础上,针对采用普通IRQ中断的驱动程序实时性能不高的问题,提出使用ARM处理器的FIQ中断在实时性能要求较高的场合中的应用方法。系统
针对目前认知无线电概念较少付诸实施的实际情况,对认知无线网络中非授权用户接入频谱空隙的具体方法进行研究,提出一种基于载波检测的设计方案。该设计硬件上由单片机和射频发
根据电力企业现场总线的特点以及企业对设备运行数据进行远程采集管理的需求,实现了一种在嵌入式软硬件平台下开发的系统——数据采集协议转发管理系统。
为解决基于背景差分的车辆检测办法易受交通状况影响的问题,首先建立基于区间分布的自适应背景模型,然后利用改进的背景更新算法对建立的背景模型选择性更新,最后结合阈值分割和形态学处理实现运动车辆检测。实验结果表明,该算法在交通堵塞或临时停车等复杂交通环境中有很好的背景提取和更新效果。与经典的算法相比,该车辆检测算法在实时性和准确性方面都有所提高。
本文从分析高等教育面临的机遇和挑战入手,论述了高校贯彻落实党管人才原则的重要性和紧迫性,阐述了高校落实党管人才原则的着力点和关键问题,提出加强党对学校人才工作的领
分析了光纤陀螺中滤波器的量化效应,提出减小滤波器截尾量化的积分补偿算法。该算法可以保证滤波器的有效精度在系统输出数据时无损失,有效地减小数据截断产生的量化误差,进而提
主要介绍了一种低成本的基于DSP微控制器的在线识别烟支重量的方法。在介绍系统组成的基础上,分析了系统的工作原理及对烟支重量进行实时控制的实际算法和实现途径,并通过在
2010年1月7日.美国内华达州拉斯维加斯(2010国际消费电子展)——随着互联网连接扩展到传统的计算平台之外,宏基(Acer)公司设计出一款激动人心的新产品。它采用了来自于飞思卡尔半导