传统的基于约束的随机矢量生成验证技术在验证过程中存在难于定位bug的缺点,从而增加了验证时间。文中将断言技术和随机矢量验证方法相结合形成基于断言的验证方法,通过在设计实现中加入断言,实时监控设计特性,使设计bug更加容易定位,从而缩短验证过程。以SRAM控制器为例,实验结果表明整个验证时间缩短40%以上,加快了设计验证进度。 The traditional constraint-based random vector generation verification technology has the disadvantage that it is difficult to locate the bug in the verification process, thereby increasing the verification time. In this paper, the assertion technique and random vector verification method are combined to form the verification method based on assertion. By adding assertions in the design implementation and monitoring the design features in real time, the design bug can be more easily located, thus shortening the verification process. Taking the SRAM controller as an example, the experimental results show that the entire verification time is shortened by more than 40%, speeding up the design verification progress.