Robustness and Usability in Modern Design Flows
Gorschwin Fey
Download - Immediately Available
Format: eBook (PDF)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download - Immediately Available
Format: eBook (PDF)
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Download - Immediately Available
Format: eBook (PDF)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Download - Immediately Available
Format: eBook (PDF)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download - Immediately Available
Format: eBook (PDF)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Download - Immediately Available
Format: eBook (PDF)
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler
Download - Immediately Available
Format: eBook (PDF)
Debugging at the Electronic System Level
Frank Rogin
Download - Immediately Available
Format: eBook (PDF)
Towards a Design Flow for Reversible Logic
Robert Wille
Download - Immediately Available
Format: eBook (PDF)