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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 145 b
21 008 Ft
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns


Customers also purchased


Blindermanns Weltlauf in Drei Akten Robert Walter / Book Paperback
common.buy 6 817 Ft
Das Hildebrandslied nach der Handschrift Christian Wilhelm Michael Grein / Book Hardback
common.buy 14 889 Ft
LA NOCHE SERA NEGRA Y BLANCA BENEGAS / Book Book
common.buy 7 205 Ft
Cesta k oltáři Cathy Maxwell / Book Hardback
common.buy 2 186 Ft
JOJO'S BIZARRE ADVENTURE 47 STEEL BALL RUN 08 Hirohiko Araki / Book Paperback
common.buy 4 472 Ft
Caverne(la) Jose Saramago / Book Paperback
common.buy 3 952 Ft
Leben Walthers von der Vogelweide Rudolf Menzel / Book Paperback
common.buy 13 283 Ft
Sailor V 1 Naoko Takeuchi / Book Paperback
common.buy 2 893 Ft
Allah Saglik Versin Emir Mirza / Book Paperback
common.buy 5 384 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?