28 books • 4 series
Enhanced Virtual Prototyping for Heterogeneous Systems
Design Automation for Field-coupled Nanotechnologies
Design for Testability, Debug and Reliability
Noch analog oder lebst Du schon?
Enhanced Virtual Prototyping
Automated Analysis of Virtual Prototypes at the Electronic System Level
In-Memory Computing
Design Automation Techniques for Approximation Circuits
Exact Design of Digital Microfluidic Biochips
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Computer (Technik Im Fokus)
Formal Specification Level
Automatic Methods for the Refinement of System Models (SpringerBriefs in Electrical and Computer Engineering)
Reversible and Quantum Circuits
High Quality Test Pattern Generation and Boolean Satisfiability
Debugging at the Electronic System Level
Towards a Design Flow for Reversible Logic
Quality-Driven SystemC Design
Test Pattern Generation using Boolean Proof Engines
Robustness and Usability in Modern Design Flows
Advanced BDD Optimization (Springer Series in Soviet Mathematics)
Advanced Formal Verification
Towards One-Pass Synthesis
Spectral Techniques in VLSI CAD
