circuit-width directed boolean reasoning
...e for Formal Verification (一个适于形式验证的ATPG引擎) Circuit-Width Directed Boolean Reasoning (电路宽度制导的布尔推理) Latch mapping algorithm for equivalence checking (面向等价性验证的锁存器匹配算法) ..
基于1个网页-相关网页
circuit-width directed boolean reasoning
电路宽度有向布尔推理
以上为机器翻译结果，长、整句建议使用 人工翻译 。