An Alternate View of Synthesis

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.

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.