Abstract: 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.

Abstract: A computer implemented method converts a data set of a first type to a data set type of a second type. The method includes casting up a first data set of a first type to a prescribed data set type that is large enough to encompass a data set of a second type. The method then includes casting down the casted up first data set from the prescribed data set type to the second data set of the second data set type.

Abstract: A computer controlled behavioral synthesis method transforms high level behavioral design encoded in computer readable medium into lower level design. A design database is generated having design objects. The design database corresponds to dynamic representation of a desired behavior, the design database including one or more design objects including one or more behavior objects. At least one first behavior object is associated with at least one select object. At least one second behavior object is associated with the select object. At least one third behavior object is associated with the select object. Control information from the third behavior object is propagated to the select object. The first behavior object is associated with the second behavior object in the design if the propagated control information has a first value. The second behavior object is removed from the design if control information having a second value is propagated to the select object.

Abstract: A computer implemented method removes an exposer and a collector from a design. A first transport is identified in a design that connects to both exposer and collector. The method determines whether a collector output and an exposer input have matching data set type. If the data set type of the collector output matches the data set type of the exposer input, then a second and third transport are substituted in place of the first transport, collector, and exposer. The second transport is connected to a first input transport that had been connected to a collector input and to a first output transport that had been connected to an exposer output. The third transport is connected to a second input transport that had been connected to another collector input and to a second output transport that had been connected to an exposer output.

Abstract: A computer implemented method resolves variant data set type into explicit data set type in a design. The method includes generating a design database that includes an object library. An explicit data set type is propagated within the design to an input of a variant exposer. An exposer is identified within the object library that includes an input having a data set type that matches the propagated explicit data set type and that includes an output explicit data set type that is different from the input data set type. The identified exposer in the design is substituted in place of the variant exposer.

Abstract: A computer readable medium encoded with computer readable code that includes a variant behavior object that includes a behavior code unit implemented in computer readable code, wherein the variant behavior object is associated with behavior code that effects a pattern for processing of a data set and that references another behavior object.