【摘 要】
：
本文论述了SOC正确性验证所使用的模拟、形式验证技术和静态验证技术等,并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。
This paper discusses t
论文部分内容阅读
本文论述了SOC正确性验证所使用的模拟、形式验证技术和静态验证技术等,并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。
This paper discusses the simulations, formal verification techniques and static verification techniques used in verification of SOC correctness, and discusses the verification methods at system level, module level, gate level and physical level in the design process.
其他文献
<正> “的”的使用最早见于宋人的话本。话本,就是宋元民间艺人说唱的底本。宋人话本是经元人修改过的,所以“的”字的应用,实际上是元代以后。如: 1)帝认的是爱弟张飞。(《
随着我国教育改革的不断深入发展,中等职业教育遇到不少新问题,必须采取切实可行的对策,才能求得生存与发展。古诗云:山重水复疑无路,柳暗花明又一村。依我看,这也是中等职
在内耳中有关氧自由基的研究已经较多 ,但关于氧自由基与毛细胞 DNA损伤的研究在起步阶段。本文就氧自由基与耳蜗毛细胞的 DNA损伤作一综述
There have been more studies o
7月18日至20日,在大庆召开的集团公司2007年领导干部会议期间,与会的300多名代表,利用一天半时间参观了铁人王进喜纪念馆,1205钻井队、大庆油田历史陈列馆、大庆油田会战传统
一般指直径超过 10 0 mm以上的 12 5、150、2 0 0以至 2 50 mm的水防水带 ,由强力的柔性聚氨酯挤压而成。软管延续长度可达 2 0 0 m以上 ,工作压力至少可达10 kg/ m2 ,主要用
据《世界发明》2003年第8期报导,法国科学家将氢元素加入含有硼的P型金刚石半导体中,结果被研究材料转化成了一种N型金刚石半导体,其导电性比过去用传统方法制造的金刚石半
《救助管理办法》的全面实施,标志着新型的、关爱型的救助管理制度的正式建立,充分体现了党和政府对特殊困难群众的高度责任感和对他们的高度重视。成都市救助管理工作在成都
教师企业实践是学校加强“双师型”教师队伍建设、实行产教融合校企合作人才培养模式、提高职业教育质量的重要举措。文章在对当前常州轻工职业技术学院教师企业实践现状进行
FPGA已在数据通信、电信、无线通信、消费类产品、医疗、工业和军事等各应用领域当中占据重要地位。由于芯片开发成本不断攀升,以及对更高性能的不断追求,继0.18mm和0.13mm之