Electrical & Computer Engineering     |     Carnegie Mellon

Wednesday, October 23, 12:00-1:00 p.m. HH-1112

Steve Haynal
Intel Strategic CAD Labs (SCL)

Automata-Based Symbolic Scheduling

This talk presents a set of techniques for representing valid high-level schedules of a digital subsystem as a collection of nondeterministic finite automata. Technology similar to that used in symbolic model checking enables implicit exploration and refinement of this design space. This provides a very general, systematic procedure to perform exact high-level synthesis of cyclic, control-dominated behaviors constrained by arbitrary sequential constraints. Applications from both academia and industry will be presented. Also, an overview of current CAD research at Intel's Strategic CAD Labs will be given.

Steve Haynal received his Ph.D. from the University of California, Santa Barbara, in 2000. Since then, he has worked as a CAD Research Engineer at Intel's Strategic CAD Labs in Portland, Oregon. His research focuses on symbolic techniques in high-level design, exploration and synthesis.