DARPA Projects Sequential Synthesis

DARPA Projects Sequential Synthesis

• Functional Optimization of Finite-State Machines

• Optimal Encoding of PLA-Based Finite State Machines

• A Generalized Approach to the Constrained Cubical Embedding Problem

• Exploring Equivalent State Machines and State Assignment

• Test Generation for Highly Sequential Circuits

• Sequential Test Generation at the Register-Transfer and Logic Levels.

• State Assignment for Testability of FSM's

Previous slide Next slide Back to the first slide View Graphic Version