1.Comparing Design Hierarchies 比較golden 與 revised verilog
The WRITE HIER_COMPARE DOFILE command lets you write a dofile script that Conformal can use to compare two hierarchical designs. The dofile script verifies the two hierarchical designs starting at the lowest-level modules and progressing to the root module. At the end of the dofile, Conformal displays the total number of equivalent and non-equivalent modules.
The sample dofile below does the following:
-Reads in the two hierarchical designs
-Writes out the hierarchical dofile script
-Compares the design hierarchy
指令如下
1 2 3 4 5 6 7 8 |
read library golden.lib -verilog -golden read design golden.v -verilog -golden read library revised.lib -verilog -revised read design revised.v -verilog -revised write hier_compare dofile hier.do -replace set log file hier.log -replace dofile hier.do exit -force |
2.Comparing Libraries 比較 standard cell .lib 與 verilog
In addition to comparing design hierarchies, the WRITE HIER_COMPARE DOFILE command compares two libraries, such as Liberty and Verilog libraries. The sample dofile below does the following:
-Reads in a synthesis library and simulation library
-Writes out all of the library models
-Compares the libraries
指令如下
1 2 3 4 5 6 |
read design syn.lib -liberty -golden read design simulation.v -verilog -revised write hier_compare dofile lib_ver.do -all -replace set log file lib_ver.log -replace dofile lib_ver.do exit -force |
3. 檢查 netlist
1 2 |
lec -lpgxl -nogui read design Max_3.3V.cdl -spice -golden |
4.自動化script
把要跑的指令寫到 lec.script
然後在terminal 執行
1 |
lec -nogui -dofile lec.script |