请问能用Conformal LEC做FPGA的形式验证吗？

ylxiaoyu7811 · 发表于 2012-4-12 15:11:27

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

×

对综合工具什么的有什么要求吗？可以用芯片厂商自带的工具吗？比如xilinx的ISE？谢谢

fecdfe · 发表于 2012-5-31 15:06:16

可以的，你去xilinx网站上看下
http://www.xilinx.com/support/download/index.htm
里面的一些library应该就是和formal check有关的，看起来支持formality和lec

账号		自动登录	找回密码
密码			注册

[求助] 请问能用Conformal LEC做FPGA的形式验证吗？