2019年1月22日
Formality形式验证教程
摘要： Formality形式验证主要验证综合后，生成的网表文件功能和之前的verilog文件功能是否一致， 需要两个文件，一个verilog文件，一个是网表文件 1.新建一个文件夹，把verilog文件和网表文件放入文件夹下，在此路径，打开linux下输入命令窗口，输入fm,则打开Formality软件 阅读全文
posted @ 2019-01-22 00:03 606 阅读(2252) 评论(0) 推荐(0)