Articoli correlati a Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization - Brossura

Villa, Tiziano; Kam, Timothy; Brayton, Robert K.

 
9781461561569: Synthesis of Finite State Machines: Logic Optimization
Brossura
ISBN 10: 1461561566 ISBN 13: 9781461561569
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Preface. Part I: From Symbolic to Logic Representations. 1. Introduction. 2. Definitions. 3. Complexity Issues. 4. Encoding for Synthesis. Part II: Constrained Encoding. 5. Symbolic Minimization. 6. Encoding Constraints. Part III: Generalized Prime Implicants. 7. Generalized Prime Implicants. 8. Minimization of GPIS. 9. Encodeability of GPIS. Part IV: Implicit Techniques for Encoding. 10. Implicit Formulation of Unate Covering. 11. Implicit Minimization of GPIS. Part V: Conclusions. 12. Conclusions. References. Index.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
1461561566
ISBN 13 
9781461561569
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9780792398929: Synthesis of Finite State Machines: Logic Optimization

Edizione in evidenza

ISBN 10:  0792398920 ISBN 13:  9780792398929
Casa editrice: Springer-Verlag GmbH, 1997
Rilegato