New Data Structures and Algorithms for Logic Synthesis and Verification
By:
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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 future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.
- Copyright:
- 2017
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783319431741
- Related ISBNs:
- 9783319431734
- Publisher:
- Springer International Publishing
- Date of Addition:
- 09/29/18
- Copyrighted By:
- Springer International Publishing, Cham
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Technology
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Luca Gaetano Amaru
- in Nonfiction
- in Computers and Internet
- in Technology