1. To invoke Flextest as a command line interface,enter:
   
   shell> flextest ud_counter_ps.edif -edif -lib atglib -pt
   
   If you wish to save time, you can use your dofile to add the clocks and identify the scan chains and skip steps 2 through 4:
   
   shell> flextest ud_counter_ps.edif -edif -lib atglib -pt -dofile ud_counter_ps.dofile
   
   When the command has been entered, if you used the command line interface you should get the SETUP> prompt.
   
   
   
   
2. To add clocks in the command line mode, enter the following command. The clocks are all inputs that directly affect the operation of the flip flops.
   
   SETUP> add clocks 0 CLK RESET
   
   
3. To specify the scan groups enter the following command:
   
   SETUP> add scan groups grp1 ud_counter_ps.testproc
   
   
4. To specify the scan chains in the command line, enter:
   
   SETUP> add scan chains chain1 grp1 scan_in1 OUT(1)
   
5. Specify the test cycle for you test patterns by entering the following command:
   
   SETUP> set test cycle 2
   
   
6. Add pin constraints by entering the following command:
   
   SETUP> add pin constraints clk sr0 1 1 1
   
   
7. To run rules checking, enter the following command.
   
   SETUP> set system mode atpg
   
   
8. This step is only needed if you plan on doing IDDQ testing, otherwise you may skip this step. Enter the following command:
   
   ATPG> set fault type IDDQ
   
9. To create an internal fault list, enter the command shown below.
   
   ATPG> add faults -all
   
10. To generate the test patterns, enter the following command:
    
    ATPG> run
    
11. To take a look at the coverage statistics, enter the following command: 
    
    ATPG> report statistics
    
    For a detailed explanation of the fault types, click here.
    
12. To take a look at the Hypertrophic faults, enter the following command: 
    
    ATPG> report faults -Class Hyp -all
    
13. To save the test patterns in ASCII format, enter the following command:
    
    
    ATPG> save pattern ud_counter_ps.pats
    
    or if you wish to save them in verilog format, enter:
    
    ATPG> save patterns ud_counter_ps.pats
    

1. To terminate the session, enter the following command:
   
   ATPG> exit
   
   

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);)

)