论文部分内容阅读
硬件设计复杂的增加使功能验证成为硬件设计方法学中的重要内容,基于断言技术的硬件设计验证技术得到越来越多的应用。作为一种对设计对象的属性特性或行为特性的的描
The increasing complexity of hardware design has made functional verification an important part of hardware design methodology. Hardware design and verification techniques based on assertion techniques have been applied more and more. As a description of the attributes or behavioral characteristics of the design object