A redefinable symbolic simulation technique for testability design rules checking
Mokhtar Hirech, O. Floret, Alain Greiner, E. Rejouan · 2002
A new symbolic simulation technique for design for testability (DFT) rules checking is discussed. With this method symbolic values and transfer functions of gates are redefinable to allow an adaptability to different sets of rules.>