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 305 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
11 755 Ft

Cesta k oltáři

Cathy Maxwell
2 147 Ft

Caverne(la)

Jose Saramago
3 882 Ft

Sailor V 1

Naoko Takeuchi
2 842 Ft
5 290 Ft