TetraMAX Overview
TetraMax Flow
TetraMax的啟動
tmax [file] 如果要執行file直接跟file路徑即可
tmax -notcl（基本不用）
tmax -shell (不啟動圖形界面，一般用這個)（如果啟動64位就加-64）
1.讀入library與netlist
保存log文件
BUILD-T> set_messages -log tmax.log -replace
讀入library和netlist
BUILD-T> read_netlist mylibrary.v (讀verilog的library)
BUILD-T> read_netlist my_asic.v （支持以下格式：Verilog、EDIF、VHDL）
2.Build ATPG Design Model
build mode
BUILD-T> run_build_model my_asic
3.DRC
DRC-T> run_drc DUT.spf
（S rules）在shift mode下檢查掃描鏈的工作順序，並確保邏輯連接掃描輸入到輸出路徑
（C rules）檢查連接到掃描觸發器的clock和異步set/reset端口，以確保它們僅由主輸入控制
（C rules）從掃描capture mode切換到掃描shift mode並再次返回時，將檢查clocks/set/resets的關閉狀態
（Z rules）檢查多驅動程序網絡是否存在爭用
4.setup and run ATPG
TEST-T> run_atpg -auto (推薦用auto，在覆蓋率和pattern數之間提供最佳起點和折中點)
5.保存ATPG pattern
TEST-T> write_pattern mypat.stil -format stil
| Format | Binary、STIL、WGL、WGL_flat、FTDL、TDL91、TSTL2 |
| Pattern Type | Basic、Fast-Seq、Full-Seq |
| Pattern Range | First-Last |
| Splitting patterns | Multiple Files |
| Compression | Binary、GZIP |
6.參考腳本
#save TetraMAX transcript to log file set_messages -log lab1.log -replace #Reading libraries and design read_netlist ../libs/ libs_tmax.v.gz read_netlist ../libs/rams.v read_netlist ../design_data/orca_final .v #set undefined modules as black boxes set_build -black_box PLL set_build -black_box CLKMUL #Run Build run_build_model # Perform scan Design Rules check run_drc ../ design_data/orca_final.spf #setup and run ATPG add_faults -a1l set_atpg -capture 4 #Run ATPG engine run_atpg -auto #Review Test Coverage report_summaries analyze_faults -class au report_patterns -summary #save Test Patterns write_patterns all_pats.stil -foimat stil -replace