Synthesis of finite state machines : logic optimization

Synthesis of finite state machines : logic optimization /

Saved in:
Bibliographic Details
Other Authors: Villa, Tiziano, 1953-
Format: Book
Language:English
Published: Boston : Kluwer Academic, [1997]
Subjects:
Logic design > Data processing.
Sequential machine theory.
Integrated circuits > Very large scale integration > Design and construction > Data processing.
Computer-aided design.
Lord Fund Gift.
Table of Contents:
  • Pt. I. From Symbolic to Logic Representations
  • 1. Introduction
  • 2. Definitions
  • 3. Complexity Issues
  • 4. Encoding for Synthesis
  • Pt. II. Constrained Encoding
  • 5. Symbolic Minimization
  • 6. Encoding Constraints
  • Pt. III. Generalized Prime Implicants
  • 7. Generalized Prime Implicants
  • 8. Minimization of GPIS
  • 9. Encodeability of GPIS
  • Pt. IV. Implicit Techniques for Encoding
  • 10. Implicit Formulation of Unate Covering
  • 11. Implicit Minimization of GPIS
  • Pt. V. Conclusions
  • 12. Conclusions.

Similar Items