assertion checker 断言检查程序 We encouraged him to assert his view of the matter. 我们鼓励他坚持自己对此事的看法。
基于157个网页-相关网页
... 具可以实现片上验证，并且可以将PSL描述的属性转换为硬件描述语言HDL(VHDL或Verilog),以创建用于断言检查器(Assertion Checker,AC)验证单元的IP。 在合成之前，设计者可以将这些代码与描述该设计的HDL代码组合到一起。
基于4个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress