100%(1)1 out of 1 people found this document helpful
This preview shows page 175 - 180 out of 191 pages.
Type: include lab4_4.dc . It contains following 7 instructions.set_scan_signal test_scan_enable –port scan_en preview_dft –show all insert_dft check_dft report_test –scan_path estimate_test_coverage 17. Write out STIL procedure file (SPF) and synthesized netlist for TetraMAX. Type: include lab4_5.dc . It contains following 3 instructions.write –format verilog –hierarchy –output “lab4_2_dft.v” write –format db –hierarchy –output “lab4_2_dft.db” write_test_protocol –format stil –out “lab4_2.spf” 18. Which one (Part1 or Part2) has the better fault coverage? __________________. WHY?___________________________.
TetraMAX Lab 5 2004.08 21 TetraMAX – Continue from DFT Compiler Lab 5 Lab 5Learning Objective: •Learn how to use TrtraMAX after we generated the STIL procedure file and synthesized netlist from DFT compiler.•In this Lab, we type the command directly; we will introduce how to use the GUI in next Lab.
TetraMAX Lab 5 2004.08 22 1. Go to the directory Lab4 and invoke TetraMAX from there. tmax & READ LIBRARY MODULES THEN THE DESIGN 2. Read in library and CUT (synthesized netlist generated in lab 4).read netlist cb35os142.v read netlist lab4_2_dft.v CREATE THE FLATTENED IN-MEMORY IMAGE (Build) 3. Build the fault simulation model. Are there any error or warning messages? Does TetraMAX enter into DRC mode? If yes, you can go through the following procedures. 4. Run design rule checking using STIL procedure file generated in Lab4. warning messages? __________________. 5. Does TetraMAX enter into TEST mode? If yes, you can go ahead and run ATPG procedure.Add fault list. 6. Run ATPG. You will obtain test coverage and pattern number. Do you want to compact them? How many patterns needed? What is the test coverage? What is the total fault count? 7. Do you satisfy the current result? If yes, you can write the test patterns out now; if not, try to improve it.
1. Go to the directory Lab6 and invoke TetraMAX from there. cd Lab6 tmax & 2. Use the SET MSG button to bring up the Set Messages dialog box. Select Log File and enter: try1.log Then OK the form. READ LIBRARY MODULES THEN THE DESIGN 3. Use the NETLIST button to bring up the read netlist dialog box and then BROWSE to select the library modules file lab6.libthen OK. Select RUN to execute the read netlist command. Repeat to use the NETLIST button to read the design file lab6.edifCREATE THE FLATTENED IN-MEMORY IMAGE (Build) 4. Use the BUILD button (at top) to bring up the RUN BUILD MODELdialog box. You should see the default top module name listed as LAB6, if not, type in LAB6. Take the default options and select RUN to perform the build operation.