Automatic fault injection is a technique that can be used to functionally verify a HW description and to evaluate the quality of the verification process. In particular, mutation analysis allows to reproduce small variations in source code that resemble a design error that may be introduced during the design process.
We propose a methodology to automatically inject faults into the functionality of design descriptions, regardless of the abstraction level employed. In order to model the functionality of design descriptions, we need to extract the EFSM (Extended Finite State Machine) model from the design description. This allows us to find a correspondence between mutants at different abstraction levels and also to employ an ATPG (Automatic Test Pattern Generator) to discover the specific input sequences that lead to a mutant being detected.