An efficient filter-based approach for combinational verification

We have developed a filter-based framework where several fundamentally diff erent techniques can be combined to provide fully automated and efficient h euristic solutions to verification and possibly other NP-complete problems. Such an integrated methodology has been shown to be far more robust and ef ficient than any single existing technique on a wide variety of circuits.