Functional fault models for non-scan sequential circuits.

Eduardas Bareisa Vacius Jusas Kestutis Motiejunas Rimantas Seinauskas

Published in: Microelectron. Reliab. (2011)

Keyphrases

fault models
model based diagnosis
fault management
horn clauses
fault model
network management
first order logic
model checking
conflict resolution