Patent ID: 8321825

Claim:
A method for automatically synthesizing relative timing (RT) constraints for facilitating timing verifications of an integrated circuit design, said method comprising: receiving a plurality of trace status tables by a computer system, wherein said trace status tables contain a plurality of trace errors identified by a formal verification engine within said computer system for performing RT verifications on an integrated circuit design; identifying an error causing signal for each of said trace errors; for each of error causing signals, determining two associating signals; utilizing said two associating signals to locate a common point of convergence (POC); backtracking said POC to locate a common point of divergence (POD); and generating an RT constraint based on said POC and POD; and inserting an RT constraint for each of said trace errors within said integrated circuit design, wherein said RT constraints specify the relative ordering of arrivals of signals in order to avoid any timing violations such that said integrated circuit design is able to pass said RT verification in the future.