New data structures and algorithms for logic synthesis and verification
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and futur...
Full description
Saved in:
Main Author: |
Amaru, Luca Gaetano, |
Other Authors: |
SpringerLink (Online service) |
Format: |
eBook
|
Language: |
English
|
Published: |
Switzerland :
Springer,
[2016]
|
Physical Description: |
1 online resource (xvi, 156 pages) : illustrations (some color)
|
Subjects: |
|