Method and system for debugging metastability in digital circuits
AssigneeCadence Design Systems, Inc.
InventorsAlberto Arias Drake, Bijitendra Mittra, Keyliane da Silva Fernandes Silvano
Life of this patent
Estimating the term…
Abstract
Systems and methods of debugging a design under test for metastability issues using formal verification. In one aspect, the method includes determining, by a server, that a functionality of the DUT failed an assertion; generating, by the server, a plurality of first waveforms for a plurality of clock domain crossing (CDC) pairs that are in a cone of influence of the assertion; applying, by the server, a constraint including a condition to the plurality of waveforms; and generating, by the server, one or more second waveforms for a first subset of the plurality of CDC pairs, wherein the first subset of the CDC pairs satisfied the condition.
Claims20
A method for debugging a design under test (DUT) for metastability issues using formal verification, the method comprising:
- determining, by a server, that a functionality of the DUT failed an assertion;
- generating, by the server, a plurality of first waveforms for a plurality of clock domain crossing (CDC) pairs that are in a cone of influence (COI) of the assertion;
- applying, by the server, a constraint including a condition to the plurality of first waveforms;
- and
- generating, by the server, one or more second waveforms for a first subset of the plurality of CDC pairs, wherein the first subset of the CDC pairs satisfied the condition.
A system for debugging a design under test (DUT) for metastability issues using formal verification, the system comprising:
- one or more processor having instructions stored thereon that, when executed by the one or more processors, causes the one or more processors to:
- determine that a functionality of the DUT failed an assertion;
- inject a metastability effect to a plurality of clock domain crossing (CDC) pairs that are in a cone of influence (COI) of the assertion;
- generate a plurality of first waveforms for the plurality of CDC pairs;
- apply a constraint including a condition to the plurality of first waveforms;
- and
- generate one or more second waveforms for a first subset of the plurality of CDC pairs, wherein the first subset of the CDC pairs satisfied the condition.
A non-transitory computer readable medium including one or more instructions stored thereon and executable by a processor to:
- determine that a functionality of the DUT failed an assertion;
- generate a plurality of first waveforms for a plurality of clock domain crossing (CDC) pairs that are in a cone of influence (COI) of the assertion;
- apply a constraint including a condition to the plurality of first waveforms;
- and
- remove a subset of the first waveforms of the plurality of CDC pairs that did not satisfy the condition.
Dependencies are inferred from the claim text.