LAB-4

TEST PATTERN GENERATION AND

COMPACTION OF FULL ADDER
AIM: To generate Test pattern and compaction using open source tool Atalanta.

TOOL REQUIRED: Open source Atalanta

DIAGRAM:
CODE SNIPPET

>>Generating the minimum number of test vectors for 100% code coverage. The test vectors
will be stored in FA.test file
>>Generates the minimum number of test vectors after compaction. The test vectors will be
stored in FA.test files
>>fsim simulates the FA.bench using test patterns in the file “FA.test”.The simulation stops when
all the test patterns in the file FA.test are simulated or all faults are detected. >>fsim -t FA.test
FA.bench
>> hope-t FA.test-D FA.bench
>>After running hope command FA.log gets generated. The list of undetected faults will be
available in the file.