Cover Image
Read Now

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...

Full description

Bibliographic Details
Main Authors: Villa, Tiziano, Yevtushenko, Nina (Author), Brayton, Robert K. (Author), Mishchenko, Alan (Author)
Format: eBook
Language:English
Published: New York, NY Springer US 2012, 2012
Edition:1st ed. 2012
Subjects:
Electrical And Electronic Engineering
Electrical Engineering
Electronic Circuits
Logic Design
Electronic Circuits And Systems
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items