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 theoret…
- 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…
- 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, …
- 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 ste…
- 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…
- 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…
- 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