Clock frequency exploration for circuit designs having multiple clock domains

Abstract

A computer-implemented method of circuit design can include receiving clock frequency constraints defining relationships between clock frequencies of a plurality of clock domains of a circuit design specified within a high-level modeling system () and receiving a cost function that is dependent upon the clock frequencies of the plurality of clock domains (). A feasibility result can be determined according to the clock frequency constraints and the cost function (). The feasibility result can indicate whether a clock frequency assignment exists that specifies a clock frequency for each of the plurality of clock domains that does not violate any clock frequency constraint. The feasibility result can be output ().