Inicio > > Ciencias de la computación > Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Görschwin Fey / Rolf Drechsler

133,06 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2008
Materia
Ciencias de la computación
ISBN:
9781402065354

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Therefore today’s design flow has to be improved. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.

Artículos relacionados

Otros libros del autor

  • Robustness and Usability in Modern Design Flows
    Görschwin Fey / Rolf Drechsler
    Dedication. List of Figures. List of Tables. Preface.1. Introduction.2. Preliminaries. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 Automatic Test Pattern Generation.3. Algorithms and Data Structures. 3.1 Combining SAT and BDD Provers. 3.2 Summary and Future Work.4. Synthesis. 4.1 Synthesis of SystemC. 4.2 Synthesis for Testability. 4.3 Summary and Future W...
    Disponible

    159,01 €