Filter by
Recent Findings in Boolean Techniques
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.
- Edition
- -
- ISBN/ISSN
- 978-3-030-68071-8
- Collation
- vii, 197p.:Ill
- Series Title
- -
- Call Number
- 511.324 Rec
Design for Testability, Debug and Reliability
This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit designs. In parti…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-69209-4
- Collation
- XXI, 164p.:Ill
- Series Title
- -
- Call Number
- 621.381 5 Huh d
Enhanced Virtual Prototyping
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle fun…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-54828-5
- Collation
- xxi, 247p.:Ill.
- Series Title
- -
- Call Number
- 005.3 Her e
Exact Design of Digital Microfluidic Biochips
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic appro…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-90936-3
- Collation
- ix, 134p.:Ill
- Series Title
- -
- Call Number
- 610.285 Kes e
Design Automation Techniques for Approximation Circuits
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verificat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-98965-5
- Collation
- XIX, 130p.:Ill
- Series Title
- -
- Call Number
- 004.21 Cha d
Automated Analysis of Virtual Prototypes at the Electronic System Level
This book describes a set of SystemC‐based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily ke…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-44282-8
- Collation
- XXI, 166p.:Ill
- Series Title
- -
- Call Number
- 621.381 Gol a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography