Patent ID: 9547732
Date: 2017-01-17
CPC Classifications: G06F

Claim:
1. A computer program product for checking circuit designs with asynchronous clock domain crossings, the computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to cause the processor to: receive a circuit design, the circuit design including a first set of one or more logic components in a first clock domain and a second set of one or more logic components in a second clock domain; identify a first subset of the second set of one or more logic components that receive one or more asynchronous clock domain crossings; traverse at least a portion of the circuit design to determine whether a subset of the one or more asynchronous clock domain crossings does not pass through a signal having an attribute indicating that the signal is intended to be part of the one or more asynchronous clock domain crossings; and indicate an error for the circuit design in response to a determination that the subset of the one or more asynchronous clock domain crossings has at least one member.