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