?断言检查程序

assertion checker 断言检查程序 We encouraged him to assert his view of the matter. 我们鼓励他坚持自己对此事的看法。

?以创建用于断言检查器

... 具可以实现片上验证，并且可以将PSL描述的属性转换为硬件描述语言HDL(VHDL或Verilog),以创建用于断言检查器(Assertion Checker,AC)验证单元的IP。 在合成之前，设计者可以将这些代码与描述该设计的HDL代码组合到一起。