Summary of Major Results

Synthesis Algorithms. We have developed a sequencing graph model to capture the three requirements of ASIC designs. The model supports concurrency 

Finally, we have developed a novel optimization strategy for control synthesis that operates on the sequencing graph abstraction. This approach, called relative control optimizations, departs from more conventional control optimizations that are based on the FSM model in that it takes advantage of the degrees of freedom present at the behavior level. In particular, it minimizes the size of the control 

---

A brief summary of major results obtained to date is given below. 

---