REGGEN-Test pattern generation on register transfer level

摘要

The authors describe the functional test generator REGGEN on anregister transfer level. The technique of the symbolic simulation wasnmodified by new rules to simplify symbolic expressions. In the REGGENnsystem a fault simulator at the RT level is also implemented. Thenefficiency of the REGGEN system has been proved on several gate arrays