ATPG再了解(一)

TetraMAX and DFT Compiler Flow


















































The ATE steps through a test program—a lengthy series of tests for potential defects.
The program shown here is written in IEEE STIL (Standard Test Interface Language).

Basic input of TetraMAX to perform ATPG are the vendor gate-level simulation libraries, design
netlist, command script and test procedure file. Main output data are the test patterns and reports on results.
In order to read in netlist and library files, use the “read netlist” command or the Netlist button of the GUI. The netlist format (Verilog, EDIF, VHDL) is automatically detected. It is recommended you use Verilog as the netlist input format. TetraMAX also automatically detects netlist compression (none, GZIP, proprietary binary). A single file may contain one or more modules. By using multiple files, mixed language netlists are supported. A single read command may use wildcards to match multiple files using the ‘?’ and ‘*’ characters.

Example:
read netlist /proj/mars/lander/shared/*/??DFF*.v

There is no restriction whether to use flat or hierarchical netlists.
Standards for pattern input: VCD-E, WGL, STIL.
Standards for pattern output: Verilog, WGL, STIL, VHDL.
Multiple pattern compression techniques (static & dynamic).
Built-in GZIP compression support for file inputs and outputs (designs, libraries, protocols,
patterns, fault lists).