Callback based constraint processing for clock domain independence

A computer program product for performing timing analysis of an integrated circuit design with callback-based constraint processing for clock domain independence, the computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to perform a method comprising:

• generating a timing graph representation of the integrated circuit design, wherein the timing graph includes nodes interconnected by edges;
• loading timing abstracts representing the nodes of the timing graph;
• obtaining a timing result based on propagating timing values and associated timing tags from an input to an output of the integrated circuit design and processing timing constraints at one or more of the nodes as callbacks, wherein each timing tag indicates a clock domain;
• applying a design change;
• determining one or more modified timing tags that are added or changed as a result of the design change;
• processing the timing constraints associated with the modified timing tags as callbacks;
• and
• re-computing the timing result.