Search State Equivalence for Redundancy Identification and Test Generation

A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design

GRASP—a new search algorithm for satisfiability

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

A Functional Decomposition Method for Redundancy Identification and Test Generation

Journal of Electronic Testing: Theory and Applications

Watermarking techniques for intellectual property protection

DAC '98 Proceedings of the 35th annual Design Automation Conference

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

An exact solution to the minimum size test pattern problem

ACM Transactions on Design Automation of Electronic Systems (TODAES)

SAT and ATPG: algorithms for Boolean decision problems

Logic Synthesis and Verification

SAT and ATPG: Boolean engines for formal hardware verification

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

Efficient reachability checking using sequential SAT

Proceedings of the 2004 Asia and South Pacific Design Automation Conference

Forward image computation with backtracing ATPG and incremental state-set construction

GLSVLSI '05 Proceedings of the 15th ACM Great Lakes symposium on VLSI