Patent ID: 9536024
Date: 2017-01-03
CPC Classifications: G06F

Claim:
1. A method for checking circuit designs with asynchronous clock domain crossings, the method comprising: receiving 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; identifying, by one or more processors, a first subset of the second set of one or more logic components that receive one or more asynchronous clock domain crossings; traversing, by the one or more processors, 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 indicating an error for the circuit design in response to determining that the subset of the one or more asynchronous clock domain crossings has at least one member.