Method for clock synchronization validation in integrated circuit design
AssigneeAtrenta, Inc.
InventorsMohamed Sarwary, Mohammad Movahed Ezazi, Bernard Murphy
Life of this patent
Estimating the term…
Abstract
Unsynchronized clock-domain crossings in the design of integrated circuit are detected by searching for clock-crossing domains. For each clock-crossing that does not include an explicit synchronization cell, an analysis determines if the clock is stable crossing the domains.
Claims45
A method for detecting unstable clock-domain crossings in a design of an integrated circuit (IC), comprising:
- determining clock-domain crossings in the design;
- for each of the determined crossings lacking a structural synchronization cell:
- making a stability determination for the crossing, and
- giving an indication when the stability determination for the crossing indicates an unstable crossing.
A computer program product, including a computer readable medium with computer instructions, for use by a computer to perform operations for detecting unstable clock-domain crossings in a design of an integrated circuit (IC), the operations comprising:
- determining clock-domain crossings in the design;
- for each of the determined crossings lacking a structural synchronization cell:
- making a stability determination for the crossing, and
- giving an indication when the stability determination for the crossing indicates an unstable crossing.
A computer system, adapted to implement a method for detecting unstable clock-domain crossings in a design of an integrated circuit (IC), comprising:
- a processor;
- and,
- a memory including software instructions adapted to enable the computer system to perform the operations of:
- determining clock-domain crossings in the design;
- for each of the determined crossings lacking a structural synchronization cell:
- making a stability determination for the crossing, and
- giving an indication when the stability determination for the crossing indicates an unstable crossing.
Dependencies are inferred from the claim text.