Indexed by：
Abstract：
介绍了一种易于实现的基于断言的验证(ABV)方法,即经过5个步骤在设计文件中插入断言,使仿真器在仿真过程中监视设计中的关键功能点.该方法在UART的寄存器传输级(RTL)模型功能验证中的应用,实验中使用SVA描述设计属性.实验证明,这一方法提高了设计的可观察性,适用于数字集成电路功能验证.
Keyword：
Reprint Author's Address：
Email：
Source ：
微电子学与计算机
ISSN： 1000-7180
Year： 2010
Issue： 1
Volume： 27
Page： 151-153,157
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 16
Chinese Cited Count：
30 Days PV： 3
Affiliated Colleges：
