formality的一點經驗總結

一、 總結： 二、 netlist和svf的配套一致 三、 formality遇到的坑 四、 pattern match視角 五、 IP/IO/standcell的處理 一、 總結： 解決dc綜合出現fail點的基本思路： 1. set synopsys_auto_setup true，記得undriven的選項單獨再設置一下，undriven要識別成不定態x，對設計驗證更充分。 2. set_s

>>阅读原文<<