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

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:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available