by Armin Biere , Daniel Kroening , Georg Weissenbacher , Christoph M. Wintersteiger
No reviews yet. Be the first!
Tools and Algorithms for the Constructio...
Computer Aided Verification
Hardware and Software: Verification and ...
Theory and applications of satisfiabilit...
Effiziente Modellprüfung des [mu]-Kalkül...
Handbook of Satisfiability ...
Halbleiter-Schaltungstechnik
Digital design
Engineering Digital Design
Fundamentals of digital logic with Veril...
Fault detection in digital circuits
Digital arithmetic