Behavioral Synthesis
Behavioral Synthesis
m Most important problem today is identifying a suitable notation for describing behavior.
Ô May result in many, application-specific languagesÔ Should support a variety of abstract design paradigms
m Two approaches under consideration:
Ô "Top Down": CMU, USC, Irvine, Boston, Karlsruhe, etc.Ô "Bottom-Up": Berkeley, Boulder, Stanford, MIT
m Best approach not known yet, but probably some combination of the two approaches!