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...