手机号码,快捷登录
使用道具 举报
henryshen2000 发表于 2017-5-12 17:13 不用专门处理,在运行Formality读入SVF后,当前运行目录下会生成一个formality_svf目录,其中有转换的文本 ...
bob_haohao 发表于 2013-9-27 16:06 你做的是FPGA的形式验证还是ASIC的形式验证,你可以使用一个tcl命令将你的SVF文件直接上成FM的运行脚本文件 ...
本版积分规则 发表回复 回帖并转播 回帖后跳转到最后一页
查看 »
手机版| 小黑屋| 关于我们| 联系我们| 隐私声明| EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )
GMT+8, 2025-7-12 06:31 , Processed in 0.096263 second(s), 7 queries , Gzip On, MemCached On.