论文部分内容阅读
随着半导体技术的发展,验证已经逐渐成为大规模集成电路设计的主要瓶颈.首先介绍传统的功能验证方法并剖析其优缺点,然后引入传统方法的一种改进--基于覆盖率的验证方法,最后介绍了基于覆盖率的验证方法在一款通用微处理器功能验证中的实际应用.
基于覆盖率的功能验证方法
【摘 要】
：
随着半导体技术的发展,验证已经逐渐成为大规模集成电路设计的主要瓶颈.首先介绍传统的功能验证方法并剖析其优缺点,然后引入传统方法的一种改进--基于覆盖率的验证方法,最后
【机 构】
：
中国科学院计算技术研究所,中国科学院研究生院
【出 处】
：
计算机应用研究
【发表日期】
：
2005年1期
其他文献
在覆盖率驱动的模拟验证方法中,模拟覆盖率分析时间直接影响模拟验证的效率.针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外,对模拟重放过程进行了改
我国是一个人口大国,解决人口的粮食问题是国民发展的关键所在。因此,粮食的储存关乎农业经济的发展与民生工作的稳定,如何解决粮食在储存过程中容易发生变质的问题已经成为
时间是生命与理想的根源,只有用时间才能度衡生命与理想的存在价值,反之,生命与理想的实现才能展现出时间的自身。三者之间有着共有和差别。本文对三者的关系进行简要的分析
患者罗某,男,60岁.患者于2002年12月8日晚,突感肩颈部疼痛,次日起床后又加两手麻木、乏力,当地医院怀疑为颈椎病,予牵引、理疗处理后,病情无好转.12月10日又出现双下肢乏力、
本文从内外部环境两个方面对影响煤炭企业生存和发展的风险因素进行详细分析与识别，综合考虑我国大型煤炭企业的特殊性，从提高全面风险意识、实施多元化战略、提高信息化管理水
目的:观察脑络饮治疗中风病先兆证的临床疗效.方法:以脑络饮治疗中风病先兆证60例,并与阿斯匹林肠溶片对照组60例作疗效比较.结果:治疗组临床疗效、临床症候改善均明显优于对
通过采用压力传感器和烟灰板两种测试设备,开展了常温常压下氢气/丙烷和空气混合气体爆轰性能的实验研究。实验过程中观察到自持爆轰波,爆轰速度比值在0.99~1之间,爆轰压力比