1. Have your Verilog HDL design ready and go to step 4, or
2. Copy the following files to that directory by entering the shell command:

 

 

shell > cp -R /applications/webserver/docs/mentortu/UD_COUNTER .
 

3. Copy the attributes file by entering the following shell command.

 

 

shell> cp /applications/webserver/docs/mentortu/UD_COUNTER.mgc_component.attr .
 

4. If you have do not already have a test library for the counter, a test library is listed at the end of this web page. Cut and paste the test library into a text file and save it as atglib. Make sure that you save it in the directory that you have your edif file in.

 
5. Make sure you are in the current directory that you have your edif file in. Set the mentor graphic working directory to your current directory by entering the following shell command.

 

 

shell > MGC_PWD=`pwd`
shell > export MGC_PWD=`pwd`
 

Note: Apostrophies surround pwd not single quotes.
 

6. To invoke Flextest as a command line interface,enter:

 

 

shell> flextest UD_COUNTER -eddm -lib atglib -nogui -falcon
shell> flextest <your-design>.v   -verilog -lib atglib -nogui -falcon
 

7. 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

8. Specify the test cycle for you test patterns by entering the following command:

 

 

SETUP> set test cycle 2
 

9. Add pin constraints by entering the following command:

 

 

SETUP> add pin constraints clk sr0 1 1 1
 

10. To run rules checking, enter the following command.

 

 

SETUP> set system mode atpg
 

11. 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

12. To create an internal fault list, enter the command shown below.

 

 

ATPG> add faults -all

13. To generate the test patterns, enter the following command:

 

 

ATPG> run

14. 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.
 

15. To take a look at the Hypertrophic faults, enter the following command:

 

 

ATPG> report faults -Class Hyp -all

16. 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 -verilog

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

)

input(B) ()

input(A) ()

intern(_NN0) (function = !A;)

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

output(OUT) (function = !_NN4;)

)

input(DATA) ()

input(CLOCK) ()

intern(_NN0) (function = !CLOCK;)

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

output(QBAR) (function = !Q;)

)

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

)

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

)

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

)

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

)

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

)

input(IN1) ()

output(OUT) (function = !IN1;)

)

input(IN2) ()

input(IN1) ()

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

output(OUT) (function = !_NN3;)

)

input(IN4) ()

input(IN3) ()

input(IN2) ()

input(IN1) ()

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

output(OUT) (function = !_NN5;)

)

input(IN2) ()

input(IN1) ()

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

output(OUT1) (function = !OUT2;)

)

input(IN3) ()

input(IN2) ()

input(IN1) ()

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

output(OUT) (function = !_NN0;)

)

input(IN2) ()

input(IN1) ()

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

)