Test Pattern Verification
Test Pattern Verification
This article introduces the Verify Test Pattern of Chapter 8 Test Pattern
Generation
in UG.
Why do we need to do timing-based simulation? The significance is that
we can
compare the differences between ATPG tools and simulator tools.
The difference in timing leads to different results.
Design Simulation with Timing.
First you need to write the pattern using the write_pattern cmd line. The
default
mode is parallel, unless you specify to write serial with -serial. Because
serial files are
very large, you can use the -sample switch to write a partial pattern. The
tool will
save at least one pattern for each type.
In addition, you can also use the -start -end switch to reduce the file size,
but such
interception is unreliable and not as reliable as -sample. In the end, you
still have to
run the full pattern set.
If no error occurs in the simulator, the following message will be printed:
no error between simulated and excepted patterns
Parameter passing adopts + default Verilog testbench supports several
Verilog
parameter passing:
STARTPAT Set pattern number to start simulation.
ENDPAT Set pattern number to end the simulation pattern number
CHAINTEST causes the STARTPAT and ENDPAD parameters to be applied
to the
chain test pattern instead of the scan test.
END_AFTER_SETUP causes the simulation to simulate only the vectors in
the
test_setup phase and then ends the simulation.
SKIP_SETUP causes the testbench to skip simulating the test_setup
vector and
start simulating the first pattern, chain or scan test.
CONFIG specifies the .cfg file, which controls the .vec waveform file. For
specific
usage, see CONFIG Usage
NEWPATH The file path of the tb file. The default file name length is 512
bytes.