1. Invoking Flextest
2. Adding the Clocks
3. Identifying the Scan Circuitry
4. Setting up the Test Cycle
5. Generating the Test Vectors
6. Viewing and Saving the Results

1. Flextest requires a test library to identify the functions of all the parts in the design. Cut and paste the test library given at the bottom of this page into a text editor and save it as atglib.
   Make sure that you save it in the same directory that your design netlist is in.
   
   
2. Set the mentor graphics working directory variable to the directory that your design netlist and test library are in. Make sure you are in the directory that your design netlist is in and enter the following shell command:
   
   shell> MGC_WD=`pwd`
   Note: apostrophies are surrounding the pwd and not single quotes.
   
3. Enter the following shell command to execute flextest.
   
   shell> flextest ud_counter_ps.edif -edif -lib atglib

Test Library

model anotb (OUT, B, A) (

input(B) ()

input(A) ()

intern(_NN0) (function = !A;)

output(OUT) (function = B * _NN0 ;)

)

model aorbn (OUT, B, A) (

input(B) ()

input(A) ()

intern(_NN0) (function = !A;)

intern(_NN4) (function = B * _NN0 ;)

output(OUT) (function = !_NN4;)

)

model dff (QBAR, Q, DATA, CLOCK) (

input(DATA) ()

input(CLOCK) ()

intern(_NN0) (function = !CLOCK;)

output(Q) (primitive=_dff(,,_NN0,DATA,Q,);)

output(QBAR) (function = !Q;)

)

model dfsc (SCAN, QBAR, Q, DATA1, DATA, CLOCK) (

scan_definition(

type = mux_scan;

scan_out = Q;

scan_in = DATA1 ;

scan_enable = SCAN;

non_scan_model = dff(QBAR, Q, DATA, CLOCK);)

input(SCAN) ()

input(DATA1) ()

input(DATA) ()

input(CLOCK) ()

intern(_NN7) (primitive=_mux(DATA,DATA1,SCAN,_NN7);)

intern(_NN0)

(function = !CLOCK;)

output(Q) (primitive=_dff(,,_NN0,_NN7,Q,);)

output(QBAR) (function = !Q;)

)

model dffr (RESET, QBAR, Q, DATA, CLOCK) (

input(RESET) ()

input(DATA) ()

input(CLOCK) ()

intern(_NN1) (function = !CLOCK;)

intern(_NN0) (function = !RESET;)

output(Q) (primitive=_dff(,_NN0,_NN1,DATA,Q,);)

output(QBAR) (function = !Q;)

)

model dfscr (SCAN, RESET, QBAR, Q, DATA1, DATA, CLOCK) (

scan_definition(

type = mux_scan;

scan_out = Q;

scan_in = DATA1 ;

scan_enable = SCAN;

non_scan_model = dffr(RESET, QBAR, Q, DATA, CLOCK);)

input(SCAN) ()

input(RESET) ()

input(DATA1) ()

input(DATA) ()

input(CLOCK) ()

intern(_NN9) (primitive=_mux(DATA,DATA1,SCAN,_NN9);) i

intern(_NN1) (function = !CLOCK;)

intern(_NN0) (function = !RESET;)

output(Q) (primitive=_dff(,_NN0,_NN1,_NN9,Q,);)

output(QBAR) (function = !Q;)

)

model dffsr (SET, RESET, QBAR, Q, DATA, CLOCK) (

input(SET) ()

input(RESET) ()

input(DATA) ()

'input(CLOCK) ()

intern(_NN2) (function = !CLOCK;)

intern(_NN1) (function = !RESET;)

intern(_NN0) (function = !SET;)

output(Q) (primitive=_dff(_NN0,_NN1,_NN2,DATA,Q,);)

output(QBAR) (function = !Q;)

)

model dfscsr (SET, SCAN, RESET, QBAR, Q, DATA1, DATA0, CLOCK) (

input(SET) ()

input(SCAN) ()

input(RESET) ()

input(DATA1) ()

input(DATA0) ()

input(CLOCK) ()

intern(_NN11) (primitive=_mux(DATA0,DATA1,SCAN,_NN11);)

intern(_NN2) (function = !CLOCK;)

intern(_NN1) (function = !RESET;)

intern(_NN0) (function = !SET;)

output(Q) (primitive=_dff(_NN0,_NN1,_NN2,_NN11,Q,);)

output(QBAR) (function = !Q;)

)

model inv1 (OUT, IN1) (

input(IN1) ()

output(OUT) (function = !IN1;)

)

model nd2x1 (OUT, IN2, IN1) (

input(IN2) ()

input(IN1) ()

intern(_NN3) (function = IN1 * IN2 ;)

output(OUT) (function = !_NN3;)

)

model nd4 (OUT, IN4, IN3, IN2, IN1) (

input(IN4) ()

input(IN3) ()

input(IN2) ()

input(IN1) ()

intern(_NN5) (function = IN1 * IN2 * IN3 * IN4 ;)

output(OUT) (function = !_NN5;)

)

model ndi2x1 (OUT2, OUT1, IN2, IN1) (

input(IN2) ()

input(IN1) ()

output(OUT2) (function = IN1 * IN2 ;)

output(OUT1) (function = !OUT2;)

)

model nr3 (OUT, IN3, IN2, IN1) (

input(IN3) ()

input(IN2) ()

input(IN1) ()

intern(_NN0) (function = IN1 + IN2 + IN3 ;)

output(OUT) (function = !_NN0;)

)

model xor (OUT, IN2, IN1) (

input(IN2) ()

input(IN1) ()

output(OUT) (primitive=_xor(IN1,IN2,OUT);)

)