New data structures and algorithms for logic synthesis and verification

• Main Author: Amaru, Luca Gaetano, (Author)
• Format: eBook
• Language: English
• Published: Switzerland : Springer, [2016]
• Subjects: Data structures (Computer science); Logic circuits.; elektronické knihy; electronic books
• ISBN: 9783319431741; 9783319431734
• Physical Description: 1 online resource (xvi, 156 pages) : illustrations (some color)

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