Books > Computing & IT > Computer hardware & operating systems > Mainframes & minicomputers
|
Buy Now
New Data Structures and Algorithms for Logic Synthesis and Verification (Hardcover, 1st ed. 2017)
Loot Price: R1,794
Discovery Miles 17 940
You Save: R1,922
(52%)
|
|
New Data Structures and Algorithms for Logic Synthesis and Verification (Hardcover, 1st ed. 2017)
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.