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

【Abstract】 Currently,we use the constraint-random vector method to verify our functional model.However,there are some short comings in this method: difficult to find bugs and long verification time.In this article,we combine the assertion techniques with the constraint-random method to form the assertion based on functional verification.Through adding some assertions into the design to monitor these features,we could find the design bug more effectively,and decrease the verificational cycle.Taking the SRAM controller for example,the result shows that the verificatonal time is decreased by 40% than the constraint-random method without adding assertion.更多还原