rolf drechsler
Computer
TaschenbuchSofort lieferbarComputer umgeben uns heute in fast allen Lebensbereichen. Sie erleichtern uns nicht nur als PC od...
High Quality Test Pattern Generation and Boolean Satisfiability
EbookSofort lieferbarThis book provides an overview of automatic test pattern generation (ATPG) and introduces novel t...
Robustness and Usability in Modern Design Flows
EbookSofort lieferbarThe size of technically producible integrated circuits increases continuously. But the ability to...
Quality-Driven SystemC Design
EbookSofort lieferbarFaced with the steadily increasing complexity and rapidly shortening time-to-market requirements ...
Towards a Design Flow for Reversible Logic
EbookSofort lieferbarThe development of computing machines found great success in the last decades. But the ongoing mi...
Advanced BDD Optimization
EbookSofort lieferbarVLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and ...
Test Pattern Generation using Boolean Proof Engines
EbookSofort lieferbarAfter producing a chip, the functional correctness of the integrated circuit has to be checked. O...
Debugging at the Electronic System Level
EbookSofort lieferbarDebugging becomes more and more the bottleneck to chip design productivity, especially while deve...
Formal Specification Level
EbookSofort lieferbarThis book introduces a new level of abstraction that closes the gap between the textual specifica...
Formal Modeling and Verification of Cyber-Physical Systems
EbookSofort lieferbarThis book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design...
Reversible and Quantum Circuits
EbookSofort lieferbarThis bookpresents a new optimization flow for quantum circuits realization. At thereversible leve...
Automatic Methods for the Refinement of System Models
EbookSofort lieferbarThis book provides a comprehensive overview of automatic model refinement, which helps readers cl...