New data structures and algorithms for logic synthesis and verification

• Main Author: Amaru, Luca Gaetano (Author)
• Format: Electronic eBook
• Language: English
• Published: Switzerland : Springer, [2016]
• Subjects: Data structures (Computer science); Logic circuits.; elektronické knihy; electronic books

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