应用于SoC功能验证的快速处理器仿真模型

来源 :浙江大学学报:工学版 | 被引量 : 0次 | 上传用户:jialei2055000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对处理器仿真模型在SoC功能验证中效率低下的问题,提出了一种基于时间域和空间域仿真冗余压缩的处理器快速仿真模型.基于时间域的仿真冗余压缩方法通过监测总线工作状态,消除总线空闲下的系统冗余仿真.基于空间域的仿真冗余压缩方法通过监测程序访问存储器的地址空间,缩减访问本地存储空间时的冗余系统仿真.实验结果表明,该模型在保证仿真精度高于80%的基础上,可有效减少系统冗余的仿真事务;当2种方法联合应用时平均提高仿真速度60.27倍左右,从而提高软硬件协同设计的效率.
其他文献
在3个不同土壤水分含量下,以中浙优1号、甬优9号、中旱221以及中旱3号4个不同类型的水稻品种为试验材料,定量描述了水稻叶龄、叶长、叶宽、节间长度、节间粗和株高随生育进程
为了解决三维人体建模中人体参数和尺寸提取的问题,提出基于图像的人体特征参数提取方法,进而对人体图像的各特征区域进行定位,并给出计算流程.对采集的图像进行预处理,再对人体正面和侧面图像特征点进行识别,从而识别出人体特征区域,提取出人体特征尺寸.阐述用模型法和参照法计算特征尺寸的方法与原理,推导出由图像像素计算特征尺寸的公式,分析模型法和参照法的优缺点,并结合两者的优点,提出模型参照法特征尺寸计算方法
在逆向工程中为了准确、快速、合理地获取未知自由曲面的表面数据,提出一种基于双测头组合的非接触式自适应采样方法.并列组安装2个点激光测头,分别为前端测头和后端测头,利
为评估猪胸膜肺炎放线杆菌外膜囊泡对小鼠免疫系统的刺激水平,以铁离子限制下体外培养猪胸膜肺炎放线杆菌shope菌株,经离心、0.22μm过滤处理后获取无细胞培养上清,继而超速
为了保持有理Bézier曲线权因子的正性,提出一种有理Bézier曲线带端点约束条件的一次降多阶算法.通过给出有理Bézier曲线的降阶误差估计,揭示了原曲线权因子和
为了拓宽由标准正交基与广义Ball(GB)基所构造的新的参数曲线的使用范围,研究了用它们表示圆弧的一整套理论,包括表示圆弧的充要条件、圆心角范围和几何作图法等.以最基本而常用的
通过对典型载波同步环路的分析与比较,提出一种新型的适用于TCM-8PSK短包高速跳频接收机的快速载波同步环路.对2种鉴相器(基于逐幸存处理(PSP)的鉴相器、锯齿形鉴相器)与2种环路
针对液压泥炮系统泄漏量小、故障频发的特点,将主成分分析(PCA)方法引入到液压泥炮系统的泄漏检测中.与传统的故障检测方法相比,PCA方法采用Hotelling T^2和Q统计作为故障检测的依
考虑到多线程处理器开发对实时操作系统的需求,结合其硬件特点,对已有的实时操作系统进行修改,给出了多线程处理器的操作系统实现.这种处理在充分利用多线程技术特点的同时,还可以
变次数B-样条(MD-样条)曲线是在不同区间有不同次数的特殊B-样条曲线.为了适应CAD造型系统的发展,研究了最大变化次数小于3的MD-样条曲线.这类MD-样条继承了多项式B-样条的变差缩减性、保凸性等大多数性质,并具有退化性、嵌入节点等独特性质.整个MD-样条曲线至少是Cn-1连续的,这里n为整个曲线段的最小次数.研究了MD-样条与B-样条的关系,可以通过嵌入节点将MD-样条转化为B-样条,同时