Modeling dynamic single-cell and coupling faults via automata models

Abstract

The main purpose of this paper is to introduce a new method of static and dynamic fault representation with the help of deterministic finite automata (DFA) formalization. This method can be used during memory behavior simulation at register transfer level.