计算机光盘软件与应用
計算機光盤軟件與應用
계산궤광반연건여응용
COMPUTER CD SOFTWARE ADN APPLICATIONS
2011年
20期
127-127
,共1页
植玉%唐雄%王喜瑜%章恒
植玉%唐雄%王喜瑜%章恆
식옥%당웅%왕희유%장항
断言%SVA%OVL%DUT%localbus
斷言%SVA%OVL%DUT%localbus
단언%SVA%OVL%DUT%localbus
Assertion%SVA%OVL%DUT%Localbus
断言（Assertions）是关于设计所做的“真相的声明”或“事实的说明”。断言的唯一目的是保证设计者的意图与最后生成电路逻辑功能的一致性。断言作为新兴的验证技术，广泛受到业内人士青睐。面向对象编程语言SystmVerilog的断言（SVA）更是得到各家EDA公司的大力支持和推广。本文以localbus接口检验器为例，介绍如何设计和使用SVA。
斷言（Assertions）是關于設計所做的“真相的聲明”或“事實的說明”。斷言的唯一目的是保證設計者的意圖與最後生成電路邏輯功能的一緻性。斷言作為新興的驗證技術，廣汎受到業內人士青睞。麵嚮對象編程語言SystmVerilog的斷言（SVA）更是得到各傢EDA公司的大力支持和推廣。本文以localbus接口檢驗器為例，介紹如何設計和使用SVA。
단언（Assertions）시관우설계소주적“진상적성명”혹“사실적설명”。단언적유일목적시보증설계자적의도여최후생성전로라집공능적일치성。단언작위신흥적험증기술，엄범수도업내인사청래。면향대상편정어언SystmVerilog적단언（SVA）경시득도각가EDA공사적대력지지화추엄。본문이localbus접구검험기위례，개소여하설계화사용SVA。
Assertions is the“claim for truth”and“claim for fact”in design,therefor.The sole purpose of assertions is to ensure that the designer＇s !ntent consistent with the logic circuit generation.As a new verification technology, assertion is well received by the industry insiders.0bject-oriented programming language SystmVerilog assertions（SVA）can get more support and promotion of various EDA companies.ln this paper, take the interface localbus test as an example,to illustrate how to design and use of SVA.
