rolf drechsler
Computer
Sofort lieferbarComputer umgeben uns heute in fast allen Lebensbereichen. Sie erleichtern uns nicht nur als PC od...
Robustness and Usability in Modern Design Flows
Sofort lieferbarThe size of technically producible integrated circuits increases continuously. But the ability to...
High Quality Test Pattern Generation and Boolean Satisfiability
Sofort lieferbarThis book provides an overview of automatic test pattern generation (ATPG) and introduces nove...
Quality-Driven SystemC Design
Sofort lieferbarP A quality-driven design and verification flow for digital systems is developed and presented i...
Towards a Design Flow for Reversible Logic
Sofort lieferbarThe development of computing machines found great success in the last decades. But the ongoing mi...
Advanced BDD Optimization
Sofort lieferbarVLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and ...
Test Pattern Generation using Boolean Proof Engines
Sofort lieferbarP In EM Test Pattern Generation using Boolean Proof EnginesEM , we give an introduction to ATP...
Debugging at the Electronic System Level
Sofort lieferbarDebugging becomes more and more the bottleneck to chip design productivity, especially while deve...
Noch analog oder lebst Du schon?
Sofort lieferbarKönnen wir uns heute noch ein Leben ohne Computer vorstellen? Wie würde unser Tagesablauf ohne Sm...
Formal System Verification
Sofort lieferbarThis book provides readers with a comprehensive introduction to the formal verification of har...
Design Automation Techniques for Approximation Circuits
Sofort lieferbarThis book describes reliable and efficient design automation techniques for the design ...
Automatic Methods for the Refinement of System Models
Sofort lieferbarThis book provides a comprehensive overview of automatic model refinement, which helps readers...