Name: New Data Structures and Algorithms for Logic Synthesis and Verification
Price: 1864.00 TWD
Availability: InStock
Author: Amaru, Luca Gaetano
ISBN: 9783319827537

Select your country

Americas

Europe

Rest of the world

portada New Data Structures and Algorithms for Logic Synthesis and Verification

New Data Structures and Algorithms for Logic Synthesis and Verification

Type

Physical Book

Author

Luca Gaetano Amaru

Publisher

Springer

Language

English

Pages

156

Format

Paperback

Dimensions

23.4 x 15.6 x 0.9 cm

Weight

0.25 kg.

ISBN13

9783319827537

Synopsis "New Data Structures and Algorithms for Logic Synthesis and Verification"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

New Data Structures and Algorithms for Logic Synthesis and Verification - Amaru, Luca Gaetano

Synopsis "New Data Structures and Algorithms for Logic Synthesis and Verification"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery