Behavioral synthesis methods for generating computer-executable code

1 . A computer controlled behavioral synthesis method for transforming a high level behavioral design encoded in a computer readable medium into a lower level design, the method comprising:

generating a design database that includes design objects, the design database corresponding to a dynamic representation of a desired behavior, wherein the design database includes one or more design objects including one or more behavior objects;

associating at least one first behavior object in the design with at least one select object in the design;

associating at least one second behavior object in the design with the at least one select object;

associating at least one third behavior object in the design with the at least one select object;

propagating control information from the third behavior object to the select object;

associating the at least one first behavior object with the second behavior object in the design if the propagated control information has a first value; and

removing the at least one second behavior object from the design if control information having a second value is propagated to the select object.

2 . The method of claim 1 , further comprising removing the select object from the design if control information having a first value or a second value is propagated to the select object.

3 . The method of claim 1 , further comprising:

providing at least one parameter to the at least one third behavior object; and

using the parameter to transform the at least one third behavior object into control information.

4 . A computer controlled behavioral synthesis method for transforming a high level behavioral design encoded in a computer readable medium into a lower level design, the method comprising:

generating a design database that includes design objects, the design database corresponding to a dynamic representation of a desired behavior, wherein the design database includes one or more design objects including one or more behavior objects;

associating at least one first behavior object in the design with at least one select object in the design;

associating at least one second behavior object in the design with the at least one select object;

associating at least one third behavior object in the design with the at least one select object;

associating at least one fourth behavior object in the design with the at least one select object;

propagating control information from the fourth object to the select object;

associating the first behavior object with the at least one second behavior object in the design if the propagated control information has a first value; and

associating the first behavior object with the at least one third behavior object in the design if the propagated control information has a first value.

5 . The method of claim 4 , further comprising removing the at least one select object from the design.

6 . The method of claim 4 , further comprising:

removing the third behavior object from the design if control information having the first value is propagated to the select object; and

removing the second behavior object from the design if control information having the second value is propagated to the select object.

7 . The method of claim 4 , further comprising removing the fourth behavior object from the design.

8 . The method of claim 4 , further comprising:

removing the at least one select object from the design; and

removing the fourth behavior object from the design.

9 . The method of claim 4 , further comprising:

removing the at least one select object from the design;

removing the fourth behavior object from the design;

removing the third behavior object from the design if control information having the first value is propagated to the select object; and

removing the second behavior object from the design if control information having the second value is propagated to the select object.

10 . The method of claim 4 , further comprising:

providing at least one parameter to the fourth behavior object; and

using the parameter to transform the fourth behavior object into control information.

11 . The method of claim 4 , further comprising:

providing at least one parameter to the fourth behavior object; and

using parameter data set type to drive a propagate data set process and to drive a flatten process that transform the at least one fourth behavior object to the control information.

12 . The method of claim 4 ,

wherein associating at least one first behavior object in the design with at least one select object in the design includes connecting at least one first transport behavior object between the first behavior object and the select object;

wherein associating at least one second behavior object in the design with the at least one select object includes connecting at least one second transport behavior object between the second behavior object and the select object;

wherein associating at least one third behavior object in the design with the at least one select object includes connecting at least one third transport behavior object between the third behavior object and the select object; and

wherein associating at least one fourth behavior object in the design with the at least one select object includes connecting at least one fourth transport behavior object between the fourth behavior object and the select object.

13 . A computer controlled behavioral synthesis method for transforming a high level behavioral design encoded in a computer readable medium into a lower level design, the method comprising:

generating a design database that includes design objects, the design database corresponding to a dynamic representation of a desired behavior, wherein the design database includes one or more design objects including one or more behavior objects;

associating at least one first behavior object in the design with at least one select object in the design;

associating at least one second behavior object in the design with the at least one select object;

associating at least one third behavior object in the design with the at least one select object;

propagating control information from the at least one third behavior object to the select object;

associating the first behavior object with the at least one second behavior object in the design if the propagated control information has a first value; and

not associating the at least one first behavior object with the at least one second behavior object in the design if control information having the first value is not propagated to the select object.

14 . The method of claim 13 , further comprising removing the at least one select object from the design in response to propagating of the control information.

15 . The method of claim 13 , further comprising removing the select object from the design if control information having the first value is propagated to the select object.

16 . The method of claim 13 , further comprising removing the second behavior object from the design if control information having the first value is not propagated to the select object.

17 . The method of claim 13 , further comprising:

removing the at least one select object from the design in response to propagating of the control information; and

removing the second behavior object from the design if control information having the first value is not propagated to the select object.

18 . The method of claim 13 , wherein not associating the first behavior object with the second behavior object in the design if control information having the first value is not propagated to the select object further includes not associating the first behavior object with the second behavior object in the design if control information having a second value is propagated to the select object.

19 . The method of claim 13 , wherein not associating the first behavior object with the second behavior object in the design if control information having the first value is not propagated to the select object further includes, not associating the first object behavior with the second behavior object in the design if control information having a second value is propagated to the select object; and further comprising:

removing the second behavior object from the design if control information having the second value is propagated to the select object.

20 . The method of claim 13 , further comprising:

providing at least one parameter to the third behavior object; and

using the parameter to transform the third behavior object into control information.

21 . The method of claim 13 , further comprising:

providing at least one parameter to the third behavior object; and

using parameter data set type to drive a propagate data set process and to drive a flatten process that transform the at least one third behavior object to the control information.

22 . The method of claim 13 , further comprising:

associating at least one fourth behavior object in the design with the third behavior object;

acquiring at least one parameter by the at least one third behavior object from the fourth behavior object; and

using the parameter to transform the at least one third behavior object into control information.

23 . The method of claim 13 , further comprising:

associating at least one fourth behavior object in the design with a the third behavior object;

acquiring at least one parameter by the at least one third behavior object from the at least one fourth behavior object;

using parameter data set type to drive a propagate data set process and to drive a flatten process that transform the at least one third behavior object into one or more atomic level objects; and

using parameter value information to drive atomic level object resolution rules that transform the one or more atomic level objects into the control information.

24 . The method of claim 13 ,

wherein associating at least one first behavior object in the design with at least one select object in the design includes connecting at least one first transport behavior object between the at least one first behavior object and the select object;

wherein associating at least one second behavior object in the design with the at least one select object includes connecting at least one second transport behavior object between the second behavior object and the select object;

wherein associating at least one third behavior object in the design with the at least one select object includes connecting at least one third transport behavior object between the at least one third behavior object and the select object;

wherein associating the at least one first behavior object with the at least one second behavior object in the design if the propagated control information has a first value includes connecting at least one fourth transport behavior object between the first behavior object and the select object; and

wherein not associating the first behavior object with the second behavior object in the design if control information having the first value is not propagated to the select object includes not connecting at least one fourth transport behavior object between the at least one first behavior object and the select object.