LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.49

Free delivery for orders over 69.99 euro.

New Data Structures and Algorithms for Logic Synthesis and Verification

Language EnglishEnglish
Book Paperback
Book New Data Structures and Algorithms for Logic Synthesis and Verification LUCA GAETANO AMARU
Libristo code: 19737747
Publishers Springer International Publishing AG, June 2018
This book introduces new logic primitives for electronic design automation tools. The author approac... Full description
? points 125 b
51.69
In stock at our supplier Shipping in 5-8 days

30-day return policy


Customers also purchased


Blindermanns Weltlauf in Drei Akten Robert Walter / Book Paperback
common.buy 18.10
Das Hildebrandslied nach der Handschrift Christian Wilhelm Michael Grein / Book Hardback
common.buy 31.25
LA NOCHE SERA NEGRA Y BLANCA BENEGAS / Book Book
common.buy 20.53
Cesta k oltáři Cathy Maxwell / Book Hardback
common.buy 6.26
JOJO'S BIZARRE ADVENTURE 47 STEEL BALL RUN 08 Hirohiko Araki / Book Paperback
common.buy 12.74
Caverne(la) Jose Saramago / Book Paperback
common.buy 11.32
Leben Walthers von der Vogelweide Rudolf Menzel / Book Paperback
common.buy 24.17
Sailor V 1 Naoko Takeuchi / Book Paperback
common.buy 8.29
Allah Saglik Versin Emir Mirza / Book Paperback
common.buy 14.16

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name New Data Structures and Algorithms for Logic Synthesis and Verification
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 156
EAN 9783319827537
ISBN 9783319827537
Libristo code 19737747
Weight 454
Dimensions 155 x 235 x 11
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account