【摘 要】
：
1.0简介rn当前,设计验证已经成为半导体芯片设计过程所面临的主要难题之一.如何确认芯片能够在相关应用中正确运行?除了需要写出尽可能多的测试向量来验证芯片的各方面功能以
论文部分内容阅读
1.0简介rn当前,设计验证已经成为半导体芯片设计过程所面临的主要难题之一.如何确认芯片能够在相关应用中正确运行?除了需要写出尽可能多的测试向量来验证芯片的各方面功能以外,下列问题也变得日益重要:如何测定这些测试的质量?测试包到底覆盖了多大范围的芯片功能?对于这些问题,传统的解决方法是应用代码覆盖率分析工具.利用这些工具可以测量出在仿真状态下实际执行了设计的多大部分,并能提供有关代码行覆盖率、条件覆盖率、信号翻转覆盖率的报告.但是,代码覆盖率分析工具所能给出的覆盖率数值在本质上属于乐观性的估计:举例来说,它们可以指出一条代码行得到了执行,但是却不能指出这条代码行上的代码,其正确性是否得到了验证.因此,有可能出现这种情况,即有报告显示一条代码行已经在仿真状态下得以覆盖,但是由此产生的效果却未在仿真中检查出来,并未检查到这条代码行的错误功能.测试结果可能会显示“合格”,但却没有察觉到错误的功能行为.
其他文献
2006年7月至2007年6月,全国发生运输船舶水上交通事故390件,死亡失踪342人,沉船253艘,直接经济损失4.55亿元,与上一年度同期相比分别下降18%、26%、11%,上升3%,水上安全形势
<正>他的建筑创作宗旨是明确的、不同于传统的,他认为原创性根本就是欺世之谈,只能不断突破,寻求创新。这就是菲利普·约翰逊。菲利普·约翰逊(图1),美国建筑师、建筑理论家
随着我国经济的不断发展,石油化工行业的不断进步,在对石油化工进行设计时,要跟随时代发展的步伐以及时代的相关需求,不断地学习先进的设计理念,引入先进的设备,积累相关的技
随着对口服抗糖尿病药物研究的不断深入,目前已证实格列苯脲能够安全有效地治疗妊娠期糖尿病。格列苯脲具有较低的胎盘透过率,对其进行的相关胎盘转运机制研究发现,格列苯脲
目的 研究双歧杆菌黏附素对大鼠肠黏膜核因子-κB (NF-κB)和细胞因子的影响.方法 将48只实验大鼠按随机数字表法分成应激组、黏附素组,每组24只,以束缚为应激条件建立应激模型,造模后持续实验8d.两组大鼠肠内营养供给量为热量125.4 kJ/(kg·d),氮量0.2 g/(kg·d).黏附素组大鼠喂养肠内营养加双歧杆菌黏附素5 mg/(kg·d),应激组大鼠喂养肠内营养加等量的生理盐水5 m
目前,我国化工行业正蓬勃发展着,所涉及到的生产项目越来越多,其生产过程对于安全性能的需求也越来越高,但是,近年来频发的化工安全事故,化工工艺设计与安全的重要性再次被社
目的：主要针对腹腔镜胆囊切除术前采用超声诊断的价值进行探讨。方法：抽取本院于2009年3月至2015年3月收治的180例行腹腔胆囊切除术前采用超声诊断的患者进行研究，将其诊断后的