An Alternate View of Synthesis
An Alternate View of Synthesis
h
h'
m Behavioral Synthesis: Given a set of abstract types (sets) at the behavioral level, encode them in terms of lower-level abstract types such that the synthesis objective is met.
NSF Summer Workshop, Nov. ‘87