Patent ID: 11907631
Assignee: SYNOPSYS, INC.
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A method, comprising:
identifying a plurality of reset domain crossings (RDCs) between sequential elements in a sequence of sequential elements connected to an observation point in a circuit design;
classifying, by a processing device, each RDC of the plurality of RDCs as one of observable at the observation point or not observable at the observation point based on at least one of a reset order and a clock order applied to the sequence of sequential elements, wherein the classifying includes performing a simulation involving tracing of a metastability effect from the RDC through the sequence of sequential elements to determine whether to classify the RDC as generating an observable metastability effect;
identifying, based on the simulation, a metastability countermeasure associated with the RDC, that if removed, would not result in an unobservable RDC becoming observable; and
outputting an identification of the plurality of RDCs classified as observable at the observation point and an indication to remove the metastability countermeasure based on the identification.