DARPA Projects Sequential Synthesis
DARPA Projects Sequential Synthesis
• Functional Optimization of Finite-State Machines
• Optimal Encoding of PLA-Based Finite State Machines
Alexander Saldanha and Tiziano Villa (RKB, ASV)
• 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