New Data Structures and Algorithms for Logic Synthesis and Verification

• Main Author: Amaru, Luca Gaetano (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Subjects: Engineering.; Logic design.; Microprocessors.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Logic Design.

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...