论文部分内容阅读
前言断言和功能覆盖率犹如一个硬币的两面.在一个RTL的设计中,两者都提供了详尽的可观察点.断言提供了功能正确与否的信息,而功能覆盖率则显现出设计行为的监测.两者都代表设计的规格,而以仿真或是形式验证的方式来确认.
基于断言的功能验证技术
【摘 要】
：
前言断言和功能覆盖率犹如一个硬币的两面.在一个RTL的设计中,两者都提供了详尽的可观察点.断言提供了功能正确与否的信息,而功能覆盖率则显现出设计行为的监测.两者都代表设
【机 构】
：
MentorGraphics公司O-In功能验证部门研发经理
【出 处】
：
中国集成电路
【发表日期】
：
2005年10期
其他文献
近年来,随着我国城市化进程的推进和汽车保有量的快速增长,城市交通拥挤日益加剧,交通事故数量不断增加,已成为我国事故发生起数最高、死亡人数最多的领域。而智能交通系统(I
2001年是半导体产业接近底谷的一年,产业的不景气使得全球经济严重滑波,许多国际猎头公司纷纷裁员并采取各种手法控制成本,有人说成是黎明前的黑暗;然而迹像表明,中国市场却
<正> 卓联半导体公司近日推出了一款用于光学线路卡的、集成有6个超低抖动输出时钟的模拟定时芯片,其集成的时钟输出数量超过了任何其它竞争产品。利用
日前，德州仪器(TI)宣布与诺基亚展开合作．即诺基亚将在其未来的移动电话中集成基于TI数字射频处理器(DRP)技术的单芯片解决方案。此项合作将使诺基亚可以提供更多成本低廉的先
综述了聚氨酯/蒙脱土纳米复合材料的制备、结构表征和热力学性能,对制备过程进行了热力学分析,并对其发展前景进行了讨论.聚氨酯/蒙脱土纳米复合材料是一种新型的有机/无机纳
微电子制造加工技术水平一直制约着我国微电子技术的提高,近年来,将有一批先进的制造加工线在我国建成投产。中芯国际集成电路制造(上海)公司,就是其中之一。该公司,投产一年