基于SVA的检验器设计方法

作     者：植玉 唐雄 王喜瑜 章恒 

作者机构：中兴通讯股份有限公司。广东深圳518055 

出 版 物：《计算机光盘软件与应用》 (Computer CD Software and Application)

年 卷 期：2011年第14卷第20期

页      码：127-127页

摘      要：断言（Assertions）是关于设计所做的“真相的声明”或“事实的说明”。断言的唯一目的是保证设计者的意图与最后生成电路逻辑功能的一致性。断言作为新兴的验证技术，广泛受到业内人士青睐。面向对象编程语言SystmVerilog的断言（SVA）更是得到各家EDA公司的大力支持和推广。本文以localbus接口检验器为例，介绍如何设计和使用SVA。

主 题 词：断言 SVA OVL DUT localbus 

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

馆 藏 号：203124162...