Formality形式验证主要验证综合后,生成的网表文件功能和之前的verilog文件功能是否一致,
需要两个文件,一个verilog文件,一个是网表文件
1.新建一个文件夹,把verilog文件和网表文件放入文件夹下,在此路径,打开linux下输入命令窗口,输入fm,则打开Formality软件
2. 切换到Ref界面下,导入verilog文件
3,设置路径,点击Options
4. 点击Browse,添加DC综合软件安装的根路径&#
Formality形式验证主要验证综合后,生成的网表文件功能和之前的verilog文件功能是否一致,
需要两个文件,一个verilog文件,一个是网表文件
1.新建一个文件夹,把verilog文件和网表文件放入文件夹下,在此路径,打开linux下输入命令窗口,输入fm,则打开Formality软件
2. 切换到Ref界面下,导入verilog文件
3,设置路径,点击Options
4. 点击Browse,添加DC综合软件安装的根路径&#