The Unknown Component Problem Theory and Applications /

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Villa, Tiziano (Autor), Yevtushenko, Nina (Autor), Brayton, Robert K. (Autor), Mishchenko, Alan (Autor), Petrenko, Alexandre (Autor), Sangiovanni-Vincentelli, Alberto (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Temas:
Electronic circuits.
Logic design.
Electrical engineering.
Electronic Circuits and Systems.
Logic Design.
Electrical and Electronic Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 1. Synopsis
  • 2. Equations over Languages and Finate Automata
  • 3. Equations over Finite State Machines
  • 4. Equations Over w-Automata
  • 5. A Survey of Relevant Literature
  • 6. Implementation of Automata Manipulations
  • 7. Manipulations of FSMs Represented as Sequential Circuits
  • 8. The Software Package BALM
  • 9. Fundamental Operations in BALM
  • 10. Computation of Flexibility in Sequential Networks
  • 11. Computation of Sequential Flexibility in Netlists by Windowing
  • 12. Computation of Sequential Flexibility in Networks of FSMs by Windowing
  • 13. Language Solving Using Simulation Relations
  • 14. Exploitation of Flexibility in Sequential Networks
  • 15. Supervisory Control
  • 16. Testing
  • 17. Synthesis of Strategies for Games
  • 18. Extending BALM to Synchronous Equations Over co-Büchi Specifications
  • 19. Conclusions and Open Problems.

Ejemplares similares