Artículos relacionados a Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization - Tapa dura

 
9780792398929: Synthesis of Finite State Machines: Logic Optimization

Sinopsis

Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an FSM into a hardware implementation. The mapping of a given symbolic representation into a two-valued logic implementation is called state encoding (or state assignment) and it impacts heavily area, speed, testability and power consumption of the realized circuit.
The first part of the book introduces the relevant background, presents results previously scattered in the literature on the computational complexity of encoding problems, and surveys in depth old and new approaches to encoding in logic synthesis.
The second part of the book presents two main results about symbolic minimization; a new procedure to find minimal two-level symbolic covers, under face, dominance and disjunctive constraints, and a unified frame to check encodability of encoding constraints and find codes of minimum length that satisfy them.
The third part of the book introduces generalized prime implicants (GPIs), which are the counterpart, in symbolic minimization of two-level logic, to prime implicants in two-valued two-level minimization. GPIs enable the design of an exact procedure for two-level symbolic minimization, based on a covering step which is complicated by the need to guarantee encodability of the final cover. A new efficient algorithm to verify encodability of a selected cover is presented. If a cover is not encodable, it is shown how to augment it minimally until an encodable superset of GPIs is determined. To handle encodability the authors have extended the frame to satisfy encoding constraints presented in the second part.
The covering problems generated in the minimization of GPIs tend to be very large. Recently large covering problems have been attacked successfully by representing the covering table with binary decision diagrams (BDD). In the fourth part of the book the authors introduce such techniques and extend them to the case of the implicit minimization of GPIs, where the encodability and augmentation steps are also performed implicitly.
Synthesis of Finite State Machines: Logic Optimization will be of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an FSM into a hardware implementation. The mapping of a given symbolic representation into a two-valued logic implementation is called state encoding (or state assignment) and it impacts heavily area, speed, testability and power consumption of the realized circuit.
The first part of the book introduces the relevant background, presents results previously scattered in the literature on the computational complexity of encoding problems, and surveys in depth old and new approaches to encoding in logic synthesis.
The second part of the book presents two main results about symbolic minimization; a new procedure to find minimal two-level symbolic covers, under face, dominance and disjunctive constraints, and a unified frame to check encodability of encoding constraints and find codes of minimum length that satisfy them.
The third part of the book introduces generalized prime implicants (GPIs), which are the counterpart, in symbolic minimization of two-level logic, to prime implicants in two-valued two-level minimization. GPIs enable the design of an exact procedure for two-level symbolic minimization, based on a covering step which is complicated by the need to guarantee encodability of the final cover. A new efficient algorithm to verify encodability of a selected cover is presented. If a cover is not encodable, it is shown how to augment it minimally until an encodable superset of GPIs is determined. To handle encodability the authors have extended the frame to satisfy encoding constraints presented in the second part.
The covering problems generated in the minimization of GPIs tend to be very large. Recently large covering problems have been attacked successfully by representing the covering table with binary decision diagrams (BDD). In the fourth part of the book the authors introduce such techniques and extend them to the case of the implicit minimization of GPIs, where the encodability and augmentation steps are also performed implicitly.
Synthesis of Finite State Machines: Logic Optimization will be of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación1997
  • ISBN 10 0792398920
  • ISBN 13 9780792398929
  • EncuadernaciónTapa dura
  • IdiomaInglés
  • Número de páginas404
  • Contacto del fabricanteno disponible

Comprar usado

Condición: Excelente
Zustand: Sehr gut - Gepflegter,...
Ver este artículo

EUR 6,90 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 4,76 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9781461378211: Synthesis of Finite State Machines: Logic Optimization

Edición Destacada

ISBN 10:  1461378214 ISBN 13:  9781461378211
Editorial: Springer, 2012
Tapa blanda

Resultados de la búsqueda para Synthesis of Finite State Machines: Logic Optimization

Imagen de archivo

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Timothy Kam
Publicado por Springer US, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Antiguo o usado Tapa dura

Librería: Buchpark, Trebbin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 404 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 3034239/202

Contactar al vendedor

Comprar usado

EUR 41,01
Convertir moneda
Gastos de envío: EUR 6,90
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Villa, Tiziano:
Publicado por Boston, Kluwer Acad. Publ, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Antiguo o usado Tapa dura

Librería: Antiquariat Bookfarm, Löbnitz, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

381 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780792398929 Sprache: Englisch Gewicht in Gramm: 900. Nº de ref. del artículo: 2346623

Contactar al vendedor

Comprar usado

EUR 83,68
Convertir moneda
Gastos de envío: EUR 7,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
Publicado por Springer, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Nuevo Tapa dura

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9780792398929_new

Contactar al vendedor

Comprar nuevo

EUR 120,24
Convertir moneda
Gastos de envío: EUR 4,76
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Tiziano Villa
Publicado por Springer US, Springer US, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Nuevo Tapa dura

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an FSM into a hardware implementation. The mapping of a given symbolic representation into a two-valued logic implementation is called state encoding (or state assignment) and it impacts heavily area, speed, testability and power consumption of the realized circuit. The first part of the book introduces the relevant background, presents results previously scattered in the literature on the computational complexity of encoding problems, and surveys in depth old and new approaches to encoding in logic synthesis. The second part of the book presents two main results about symbolic minimization; a new procedure to find minimal two-level symbolic covers, under face, dominance and disjunctive constraints, and a unified frame to check encodability of encoding constraints and find codes of minimum length that satisfy them. The third part of the book introduces generalized prime implicants (GPIs), which are the counterpart, in symbolic minimization of two-level logic, to prime implicants in two-valued two-level minimization. GPIs enable the design of an exact procedure for two-level symbolic minimization, based on a covering step which is complicated by the need to guarantee encodability of the final cover. A new efficient algorithm to verify encodability of a selected cover is presented. If a cover is not encodable, it is shown how to augment itminimally until an encodable superset of GPIs is determined. To handle encodability the authors have extended the frame to satisfy encoding constraints presented in the second part. The covering problems generated in the minimization of GPIs tend to be very large. Recently large covering problems have been attacked successfully by representing the covering table with binary decision diagrams (BDD). In the fourth part of the book the authors introduce such techniques and extend them to the case of the implicit minimization of GPIs, where the encodability and augmentation steps are also performed implicitly. Synthesis of Finite State Machines: Logic Optimization will be of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits. Nº de ref. del artículo: 9780792398929

Contactar al vendedor

Comprar nuevo

EUR 114,36
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Tiziano Villa|Timothy Kam|Robert K. Brayton|Alberto L. Sangiovanni-Vincentelli
Publicado por Springer US, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Nuevo Tapa dura

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Gebunden. Condición: New. Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization. Nº de ref. del artículo: 5971800

Contactar al vendedor

Comprar nuevo

EUR 118,64
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Tiziano Villa
Publicado por Springer, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Nuevo Tapa dura
Impresión bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 870. Nº de ref. del artículo: C9780792398929

Contactar al vendedor

Comprar nuevo

EUR 140,98
Convertir moneda
Gastos de envío: EUR 10,86
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Tiziano Villa Robert K. Brayton Timothy Kam
Publicado por Springer, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Nuevo Tapa dura

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 404. Nº de ref. del artículo: 263102215

Contactar al vendedor

Comprar nuevo

EUR 147,45
Convertir moneda
Gastos de envío: EUR 10,24
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Villa Tiziano Brayton Robert K. Kam Timothy
Publicado por Springer, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Nuevo Tapa dura
Impresión bajo demanda

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. PRINT ON DEMAND pp. 404. Nº de ref. del artículo: 183102221

Contactar al vendedor

Comprar nuevo

EUR 154,12
Convertir moneda
Gastos de envío: EUR 14,50
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Villa, Tiziano,Kam, Timothy,Brayton, Robert K.,Sangiovanni-Vincentelli, Alberto L.
Publicado por Springer, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Antiguo o usado Tapa dura

Librería: HPB-Red, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_378964337

Contactar al vendedor

Comprar usado

EUR 74,07
Convertir moneda
Gastos de envío: EUR 96,17
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
Publicado por Springer, 1997
ISBN 10: 0792398920 ISBN 13: 9780792398929
Nuevo Tapa dura

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190186282

Contactar al vendedor

Comprar nuevo

EUR 107,22
Convertir moneda
Gastos de envío: EUR 66,78
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 3 copia(s) de este libro

Ver todos los resultados de su búsqueda