A Method for Automatic Recognition of Handshake Data Exchange at Clock-Domain Crossing in Integrated Circuit Design
AssigneeAtrenta, Inc.
InventorsAlain Dargelas, Paras Mal Jain, Ashish Hari, Bernard Murphy, Anthony Joseph
Life of this patent
Estimating the term…
Abstract
A structural analysis tool automatically detects complex handshake mechanisms for controlling data transfers between clock-domain crossings. The structural analysis tool may also verify the correctness of the handshake mechanism.
Claims24
A method for the automatic recognizing of a handshake data exchange at a clock-domain crossing, comprising:
- determining one or more clock-domain crossings in an integrated circuit (IC) design;
- for each enabled source register and enabled destination register in each of the determined clock-domain crossings, recognizing a handshake data exchange by:
- detecting a source final state machine (FSM) connected to the source enabled register;
- detecting a destination FSM connected to the destination enabled register;
- detecting at least one request signal driven by the source FSM;
- and
- detecting at least one acknowledge signal driven by the destination FSM.
A computer program product, including a computer-readable medium with instructions to enable a computer to implement a process for the automatic recognizing of a handshake data exchange at a clock-domain crossing, the process comprising:
- determining one or more clock-domain crossings in an integrated circuit (IC) design;
- for each enabled source register and enabled destination register in each of the determined clock-domain crossings, recognizing a handshake data exchange by:
- detecting a source final state machine (FSM) connected to the source enabled register;
- detecting a destination FSM connected to the destination enabled register;
- detecting at least one request signal driven by the source FSM;
- and
- detecting at least one acknowledge signal driven by the destination FSM.
Dependencies are inferred from the claim text.