conformal，verplex，LEC，incisive；这几个词中哪个是工具？以及他们之间的相互关系
时间：10-02
整理：3721RD
点击：
如题，谢谢~
Conformal LEC 是Verplex 公司的logic equivalence check tool
这公司后来被Cadence收购了
现在Cadence doc里好像就叫Conformal了
incisive不熟悉，好像是Cadence的另一个产品系列，主要是simulator
收到，谢谢~
cadence的conformal，synopsys的formality，都是用来做逻辑等价性验证的工具。
讚讚讚！
但是Incisive还包含Formal Verifier...