Könyv New Data Structures and Algorithms for Logic Synthesis and Verification LUCA GAETANO AMARU

New Data Structures and Algorithms for Logic Synthesis and Verification

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 840 Ft
This book introduces new logic primitives for electronic design automation tools. The author approac...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2018
oldal
156
EAN
9783319827537
ISBN
9783319827537
Enbook ID
19737747
Súly
454
Méretek
155 x 235 x 11

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Das Hildebrandslied nach der Handschrift

Christian Wilhelm Michael Grein
12 081 Ft

Cesta k oltáři

Cathy Maxwell
2 207 Ft

Caverne(la)

Jose Saramago
3 930 Ft

Sailor V 1

Naoko Takeuchi
2 921 Ft
5 437 Ft