基于断言的SRAM控制器功能验证

作     者：刘晓 杨军 LIU Xiao;YANG Jun

作者机构：东南大学国家专用集成电路系统工程技术研究中心江苏省南京市210096 

出 版 物：《电子工程师》 (Electronic Engineer)

年 卷 期：2007年第33卷第2期

页      码：18-20,55页

摘      要：传统的基于约束的随机矢量生成验证技术在验证过程中存在难于定位bug的缺点,从而增加了验证时间。文中将断言技术和随机矢量验证方法相结合形成基于断言的验证方法,通过在设计实现中加入断言,实时监控设计特性,使设计bug更加容易定位,从而缩短验证过程。以SRAM控制器为例,实验结果表明整个验证时间缩短40%以上,加快了设计验证进度。

主 题 词：断言 功能验证 Systerm Verilog SRAM控制器 

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

D　O　I：10.3969/j.issn.1674-4888.2007.02.007

馆 藏 号：203363024...