DARPA ProjectsBehavioral Synthesis

DARPA ProjectsBehavioral Synthesis

• Hardware Description and Specification Language Model for Behavioral Synthesis

Gregg Whitcomb, Brian O'Krafka, Wendell Baker and Tom LaidigTom Laidig (ARN)

• Optimum and Heuristic Algorithms for Finite State Machine Decomposition and Partitioning

Pranav Ashar (ARN)

• A Unified Approach to the Decomposition and Re-decomposition of FSMs

Pranav Ashar (ARN)

• Testability Driven Decomposition of Large Finite State Machines

Pranav Ashar (ARN)

• Symbolic Encoding of High-Level Descriptions for Multi-Level Implementations

Bill Lin (ARN)

Previous slide

Next slide

Back to the first slide

View Graphic Version