A method and an apparatus for coupling the results of behavioral synthesis with those of logic synthesis. It uses a timing verifier to precalculate the timing characteristics of a circuit for use by behavioral synthesis. Timing for control chaining is included in the precalculated timing characteristics. Once behavioral synthesis is complete, logic synthesis is informed of timing constraints introduced by behavioral synthesis.

Eine Methode und ein Apparat für die Verbindung der Resultate der Verhaltenssynthese mit denen der Logiksynthese. Sie benutzt einen TIMING Verifier zum precalculate die TIMING-Eigenschaften eines Stromkreises für Gebrauch durch Verhaltenssynthese. TIMING für Steuerdas anketten ist in precalculated TIMING-Eigenschaften eingeschlossen. Sobald Verhaltenssynthese komplett ist, ist Logiksynthese von den TIMING-Begrenzungen informiert, die durch Verhaltenssynthese eingeführt werden.