Formality的使用记录

Formality的使用记录 前言 一、formality是什么？ 二、使用步骤 0.打开formality的gui界面 1.导入svf文件 2.读入verilog文件 3.读入网表文件 4.setup 5.match and verify 6.注意事项 前言 由于项目后期需要完成一个rtl和网表之间的形式验证，需要用synopsys的formality来完成，由于第一次接触，也摸索了将近三天才能

>>阅读原文<<