Efficient generation of test patterns using Boolean satisfiability

GRASP—a new search algorithm for satisfiability

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design

Satisfiability-based layout revisited: detailed routing of complex FPGAs via search-based Boolean SAT

FPGA '99 Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays

GRASP: A Search Algorithm for Propositional Satisfiability

IEEE Transactions on Computers

A BDD-based satisfiability infrastructure using the unate recursive paradigm

DATE '00 Proceedings of the conference on Design, automation and test in Europe

LPSAT: a unified approach to RTL satisfiability

Proceedings of the conference on Design, automation and test in Europe

Denali: a goal-directed superoptimizer

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

A methodolgy for characterizing cell testability

VTS '97 Proceedings of the 15th IEEE VLSI Test Symposium

13.1 A Study on the Utility of Using Expected Quality Level as a Design for Testability Metric

VTS '98 Proceedings of the 16th IEEE VLSI Test Symposium

Ordered escape routing based on Boolean satisfiability

Proceedings of the 2008 Asia and South Pacific Design Automation Conference

Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic

Fundamenta Informaticae