Formality的使用記錄

Formality的使用記錄 前言 一、formality是什麼？ 二、使用步驟 0.打開formality的gui界面 1.導入svf文件 2.讀入verilog文件 3.讀入網表文件 4.setup 5.match and verify 6.注意事項 前言 由於項目後期需要完成一個rtl和網表之間的形式驗證，需要用synopsys的formality來完成，由於第一次接觸，也摸索了將近三天才能

>>阅读原文<<