An Example of the Manual Test Insertion

Here you will find a log of inserting the test vectors using the vecmanager tool. The log is supplied with comments given in between of two * (star) marks.
prompt> vecmanager c17 *give the name of the design to the vecmanager*

 

Test Vectors' Manager

Please, give me the name of the file for test vectors [c17.tst]:

Reading SSBDD-model file c17.agm... OK
 

        No vectors were found. You can choose the following:

        N. Insert completely New test
        R. Automatically geneRate some random sequence
        E. Automatically genErate the exhaustive test
        X. Just eXit
 

 

 

*simply press Return*

 

 

 

 

 

   
Make your choice, please: n *we will insert a completely new test*
   
Enter each vector as a string of 5 bits. The inputs are:
x5 x4 x3 x2 x1
Finally, when you are done with vectors simply press "Return".

*pay attention to the order of inputs!*

 

10101
01010
00000
11111
 

*press Return key after each vector*

 

*press it here one more time*

        S. Show existing test patterns
        N. Insert completely New test
        A. Add vectors
        D. Remove some vectors
        R. Automatically geneRate some random sequence
        E. Automatically genErate the exhaustive test
        F. PerForm fault simulation
        X. Save patterns and eXit
 
   
Make your choice, please: f

Fault simulation will be performed
 

*we need a fault simulation to be done*

*press Return here; the simuation*
*will be done right before exit*

        S. Show existing test patterns
        N. Insert completely New test
        A. Add vectors
        D. Remove some vectors
        R. Automatically geneRate some random sequence
        E. Automatically genErate the exhaustive test
        F. PerForm fault simulation
        X. Save patterns and eXit
 
   
Make your choice, please: x *now we can leave the program*

 

Performing fault simulation...OK
4 patterns will be saved.
 
   

Writing test patterns file c17.tst... OK

*see the results of simulation here*

 


Construction of an Abstract Network

Last update: 27 July, 2004