A new approach to the use of satisfiability in false path detection
Felipe de Souza Marques, Renato P. Ribas, Sachin S. Sapatnekar, Andre Inacio Reis · 2005
This paper presents a novel method for false path detection using satisfiability. It is based on circuit node properties that are related to non-testable stuck-at faults as well as to false path detection. When compared to traditional satisfiability methods that generate sat instances associated to paths, the proposed method is more efficient. This efficiency derives from the fact that most digital circuits have a number of nodes that is smaller than the number of paths.