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.

Previous slide

Next slide

Back to the first slide

View Graphic Version