๐ฆ Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book ๐
Explore the literary world of this author
...
Theory and Implementation
For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binarยทy Decision Diagmms (BDDs) have become the state-of-the...
Featuring RISC-V Case Studies
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors em...
Concepts, Methods, and Algorithms
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at ...
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software s...
From the Specification to the Implementation
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and...
A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements ...
The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. T...
Verification, Synthesis and Test
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The auth...
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp...
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed....
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Bool...
Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification...
Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems...
Design Understanding and Applications
This book describes a set of SystemCโbased virtual prototype analysis methodologies, including design understanding, verification, security validati...
In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh...
Better Early than Never
This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for h...
This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition...
Synthesis and Optimization
This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive d...
Next Generation Measures Using Formal Techniques
This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably i...
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first ...
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a...
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up wi...
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient...
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its l...
Optimization and Complexity Analysis
This book presents a new optimization flow for quantum circuits realization. At the reversible level, optimization algorithms are presented to reduce ...
Synthese und Optimierung
From Basics to Hardware Design
This book provides a comprehensive and self-contained introduction to reversible and quantum circuits, with which power emissions can be reduced or el...