基于断言的功能验证技术

作     者：Mentor Graphics 

作者机构：Mentor Graphics公司O-In功能验证部门 

出 版 物：《中国集成电路》 (China lntegrated Circuit)

年 卷 期：2005年第14卷第10期

页      码：51-56页

摘      要：前言 断言和功能覆盖率犹如一个硬币的两面.在一个RTL的设计中,两者都提供了详尽的可观察点.断言提供了功能正确与否的信息,而功能覆盖率则显现出设计行为的监测.两者都代表设计的规格,而以仿真或是形式验证的方式来确认.

主 题 词：验证技术 设计行为 形式验证 覆盖率 RTL 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

馆 藏 号：203633363...