In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become...

"Advanced Formal Verification" von Rolf Drechsler ist ein Fachbuch, das sich mit fortgeschrittenen Methoden und Techniken der formalen Verifikation in der Informatik beschäftigt. Formale Verifikation ist ein entscheidender Prozess zur...

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern...

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic...