conformal，verplex，LEC，incisive；这几个词中哪个是工具？以及他们之间的相互关系

zhiyong012 · 发表于 2016-3-29 16:48:01

您需要登录才可以下载或查看，没有账号？注册

x

如题，谢谢~

ryry17 · 发表于 2016-3-30 11:15:41

Conformal LEC 是Verplex 公司的logic equivalence check tool
这公司后来被Cadence收购了
现在Cadence doc里好像就叫Conformal了
incisive不熟悉，好像是Cadence的另一个产品系列，主要是simulator

zhiyong012 · 发表于 2016-9-22 13:45:33

回复 2# ryry17
收到，谢谢~

杰克淡定 · 发表于 2016-9-22 19:20:26

cadence的conformal，synopsys的formality，都是用来做逻辑等价性验证的工具。

ngnan · 发表于 2016-12-5 15:28:05

讚讚讚!

Timme · 发表于 2016-12-5 18:11:58

但是Incisive还包含Formal Verifier...

金角大王G · 发表于 2020-12-17 10:42:54

谢谢~~~

[求助] conformal，verplex，LEC，incisive；这几个词中哪个是工具？以及他们之间的相互关系