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...
Saved in:
| Main Author | |
|---|---|
| Format | Electronic eBook |
| Language | English |
| Published |
Switzerland :
Springer,
[2016]
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9783319431741 9783319431734 |
| Physical Description | 1 online resource (xvi, 156 pages) : illustrations (some color) |
Glossary of Terms