SystemVerilog断言及其应用

作     者：陈先勇 徐伟俊 杨鑫 夏宇闻 

作者机构：神州龙芯集成电路设计公司 

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

年 卷 期：2007年第16卷第9期

页      码：19-24页

摘      要：在介绍SystemVerilog断言的概念、使用断言的好处、断言的分类、断言的组成以及断言如何被插入到被测设计(DUT)的基础上,本文详细地介绍了如何使用不同的断言语句对信号之间的复杂时序关系进行严格的检查,并针对每个例子展示了在ModelSim6.1b仿真环境中所显示的波形。本文旨在帮助读者理解如何使用断言对设计中信号间复杂时序关系进行验证的方法,并由此介绍一些基本的SystemVerilog断言、操作符、代码段和断言验证方法学。

主 题 词：字:SystemVerilog 断言 DUT SVA Assertion 

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

D　O　I：10.3969/j.issn.1681-5289.2007.09.003

馆 藏 号：203946221...