Title :
Path verification using Boolean satisfiability
Author :
Ringe, Matthias ; Lindenkreuz, Thomas ; Barke, Erich
Author_Institution :
Robert Bosch GmbH, Reutlingen, Germany
Abstract :
The importance of identifying false paths in a combinational circuit cannot be overstated since they may mask the true delay. We present a fast algorithm based on Boolean satisfiability for solving this problem. We also present extensions to this per-path approach to find the critical path of a circuit in a reasonable time
Keywords :
Boolean functions; combinational circuits; delays; directed graphs; timing; Boolean satisfiability; combinational circuit; critical path; delay; false paths; path verification; per-path approach; Benchmark testing; Combinational circuits; Data structures; Delay; Design automation; Integrated circuit interconnections; Microelectronics; Pins; Sun; Timing;
Conference_Titel :
Design, Automation and Test in Europe, 1998., Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-8359-7
DOI :
10.1109/DATE.1998.655991
