论文部分内容阅读
模拟验证是设计验证必备的最基本、最常用的验证方法,本文结合协同模拟、断言和自检等验证技术实现了YHFT-DX处理器的模拟验证自动化,有效降低了验证工作的复杂度,提高了验证的效率和质量.
YHFT-DX处理器模拟验证自动化
【摘 要】
：
模拟验证是设计验证必备的最基本、最常用的验证方法,本文结合协同模拟、断言和自检等验证技术实现了YHFT-DX处理器的模拟验证自动化,有效降低了验证工作的复杂度,提高了验证
【机 构】
：
国防科技大学计算机学院 长沙 410073
【出 处】
：
第十三届计算机工程与工艺会议(NCCET09’)
【发表日期】
：
2009年期
其他文献
本文采用热重分析和电阻率来测试稻壳灰水泥净浆的水化进程.水泥净浆中稻壳灰的掺量为0～15％,净浆的水灰比为0.4.用X射线衍射方法和扫描电镜技术研究试件养护3 h、1 d、7 d和28
在应力控制模式下,对粗、中、细三种不同级配类型的沥青混凝土进行冻融和未冻融条件下劈裂疲劳试验,得到应力疲劳方程,并将应力疲劳方程转换成应变疲劳方程.从冻融前后试样破
会议
《国家医保目录》如期推出,新医保目录有较大幅度扩容,化学药和中药品种相对于2004年版本均有一定的增减,有新增品种进目录的上市公司将明显受益。
The “National Medicare
为深入学习贯彻习近平新时代中国特色社会主义思想,全面落实中央经济工作会议精神,牢固树立创新、协调、绿色、开放、共享的发展理念,促进墙材行业转型升级,引领绿色墙体材料
期刊
本文在分析VxWorks操作系统源代码的基础上,对其最小功能范围组件以及构件之间的依赖性进行了分析,提出了一种新颖的系统内核裁剪方法,并对VxWorks系统映像的编译过程进行了
针对锁相环(PLL)中的单粒子瞬态效应(SET),本文提出了一种基于Verilog-A的高层次混合模拟技术.通过该混合模拟技术,对PLL建立了混合模型,对于SET的产生源采用SPICE网表描述,
会议
灭幼脲是抗昆虫体内几丁质形成的一类化合物 ,系昆虫的另一类型的生长调节剂 ,这类化合物控制了昆虫所特有的生理生化反应 ,为昆虫专一性的选择性杀虫剂。近年在防治靶标昆虫
本文提出一种基于蒙特卡洛的模拟单电子晶体管性质的快速模拟方法.蒙特卡洛方法能真实地模拟单电子晶体管的性质,而目前,蒙特卡洛方法需要耗费大量的资源和时间.当单电子晶体
鼠双微染色体2(murine double minute 2,MDM2)是1991年从一个含有双微体(murine double mimut,MDM)的自发转化的BALB/3T3DM细胞中克隆出来的一个高度扩增的基因,其产物MDM2蛋
电路模型的准确性与简便性(计算效率)直接影响电路设计与分析,目前运用最多的标准模型BSIM3由于未包含辐射效应对器件的影响,不适用于对工作在辐射环境下器件的分析与设计.本
会议