Testing and Formal Verification of Decoder Circuit

Abstract

Testing of 2-to-4 decoder circuit are been done using tetraMAX. It is observed that 54 possible stuck-at faults can be there in the 2-to-4 decoder circuit, tetraMAX ATPG can provide test coverage of 100 % Using design compiler. db file is generated which is used for functional verification of the design with respect to RTL design. Compare points are shown by cone views of the design.