Path verification using Boolean satisfiability
M. Ringe, T. Lindenkreuz, E. Barke · 2002
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.