摘要 |
A behavioral synthesis process is provided that transforms a generalized behavioral design into a detailed interconnection of design objects to implement the behavior. A design database including design objects is generated as a user creates a diagrammatic representation of a desired behavior using a user interface. The synthesis process, which includes multiple concurrent threads, transforms the design objects. The transformation of the design objects can be achieved by propagating information from a particular design object to another design object. As the concurrent threads operate, the design objects are incrementally transformed according to objectives of an overall design.
|