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
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
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
Languages, Design Methods, and Tools for Electronic System Design
This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-02215-0
- Collation
- VII, 130p.:Ill
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 621.381 5 Lan
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography