请问能用Conformal LEC做FPGA的形式验证吗？
时间：10-02
整理：3721RD
点击：
对综合工具什么的有什么要求吗?可以用芯片厂商自带的工具吗?比如xilinx的ISE?谢谢
可以的，你去xilinx网站上看下
http://www.xilinx.com/support/download/index.htm
里面的一些library应该就是和formal check有关的，看起来支持formality和lec