CHANGING THE LOCUS OF A SYNTHESIS PROCESS ASSOCIATED WITH BEHAVIOR OBJECTS
A method of changing a locus of a synthesis process within a design database includes a plurality of behavior objects. The design database corresponds to a dynamic representation of a desired behavior. The method includes propagating explicit DS type information to a respective variant DS type input of a variant first behavior object. An explicit first equivalent function (EF) behavior object is substituted for the variant first behavior object. The explicit first EF behavior object includes an explicit DS type output. Explicit DS type information is propagated from the explicit DS type output to a respective variant DS type input of a variant second object.
1 . A method of changing a locus of a synthesis process within a design database that includes a plurality of behavior objects, the design database corresponding to a dynamic representation of a desired behavior, the method comprising:
propagating explicit DS type information to a respective variant DS type input of a variant first behavior object;
substituting an explicit first equivalent function (EF) behavior object for the variant first behavior object, wherein the explicit first EF behavior object includes an explicit DS type output; and
propagating explicit DS type information from the explicit DS type output to a respective variant DS type input of a variant second object.
2 . The method of claim 1 , wherein propagating the explicit DS type information from the explicit DS type output to a respective variant DS type input of a variant second object includes, substituting an explicit second object for the variant second object.
3 . The method of claim 1 , wherein propagating explicit DS type information to a respective variant DS type input of the variant first behavior object includes, substituting an explicit third object for a variant third object, and wherein propagating the explicit DS type information from the explicit DS type output to a respective variant DS type input of a variant second object includes, substituting an explicit second EF object for the variant second object.
4 . The method of claim 1 , wherein the variant second object includes a variant transport object, and wherein propagating the explicit DS type information from the explicit DS type output to a respective variant DS type input of a variant second object includes, substituting an explicit transport object for the variant transport object.
5 . The method of claim 1 , wherein propagating explicit DS type information to a respective variant DS type input of the variant first behavior object includes, substituting an explicit first transport object for a variant first transport object, the variant second object including a variant second transport object, and wherein propagating the explicit DS type information from the explicit DS type output to a respective variant DS type input of a variant second object includes, substituting an explicit second transport object for the variant second transport object.
6 . A method of changing a locus of a synthesis process within a design database, the design database including a plurality of behavior objects and corresponding to a dynamic representation of a desired behavior, the method comprising:
propagating explicit DS type information to a respective variant DS type input of a variant first behavior object;
substituting an explicit first equivalent function (EF) behavior object for the variant first behavior object, wherein the explicit first EF behavior object includes an explicit DS type output;
propagating explicit DS type information from the explicit DS type output to a respective variant DS type input of a variant second object; and
substituting an explicit second EF object for the variant second object.
7 . The method of claim 6 , wherein propagating explicit DS type information to a respective variant DS type input of the variant first behavior object includes, substituting an explicit third object for a variant third object.
8 . A method of changing a locus of a synthesis process within a design database, the design database including a plurality of behavior objects and corresponding to a dynamic representation of a desired behavior, the method comprising:
propagating explicit DS type information to a respective variant DS type input of a variant first behavior object;
substituting an explicit first equivalent function (EF) behavior object for the variant first behavior object, wherein the explicit first EF behavior object includes an explicit DS type output;
propagating explicit DS type information from the explicit DS type output to a respective variant DS type input of a variant second object, the variant second object includes a variant transport object; and
substituting an explicit transport object for the variant transport object.
9 . The method of claim 8 , wherein propagating explicit DS type information to a respective variant DS type input of the variant first behavior object includes, substituting an explicit first transport object for a variant first transport object.