Usage of the Deterministic Test Pattern Generator

Generates deterministic tests for combinational circuits implementing the PODEM algorithm.
 

command: generate

input: SSBDD model file (.agm)
output: test pattern file (.tst), list of redundant faults (.red)
 
syntax: generate [options] <design>
 
design:
Name of the design file without .agm extension.
   
options:  
­backtracks <number>
Maximal number of backtracks. Default is 10.
­vector_limit <limit>
Maximal number of generated patterns. Default is 1000.
­fault_table
Perform fault simulation for the final patterns.
Construction of an Abstract Network

Last update: 28 July, 2004