Clock-domain crossing (CDC) verification is a critical step in the design verification cycle. However, CDC verification is not only necessary on RTL; at 28nm nodes and below it is also essential on gate-level designs due to the possibility of the introduction of CDC errors during the synthesis phase that can lead to silicon failure. This [...]
Due to the growth in complexity of FPGAs and integration of complex IP, the number of asynchronous clocks within FPGA designs has dramatically increased. It has become increasingly difficult to verify these designs for metastability issues due to asynchronous clock domain crossings (CDC). Clock domain crossings are a key cause of non-deterministic & random field [...]
This article from Aldec describes how the Aldec’s ALINT-PRO can handle both FPGA and ASIC RTL designs and generates a low-noise output, which is easy to debug and can catch the undetected harmful design mistakes early in the design cycle and save a lot of time. Read More
This article from SemiWiki describes how Clock Domain Crossing (CDC) solution enables comprehensive clock and reset domain crossing (CDC/RDC) verification for more than a billion gates, helping designers to avoid costly chip killer bugs, re-spins and achieve signoff quality verification. Read More Learn more about how T&VS helps engineers to set up the correct methodology [...]
CDC checking of any asynchronous clock domain crossing requires that the data path and the control path be identified and that the receive clock domain data flow is controlled by a multiplexer with a select line that is fed by a correctly synchronized control line. The structural checking approach does not care if the asynchronous [...]
Complex processes and aggressive synthesis interventions are increasing the risks of metastability and creating a need for netlist-level CDC verification. Dr. Roger B. Hughes, Director of Strategic Accounts at Real Intent, outlines how the design of CDC verification occurs at both RTL Verification and netlist Verification. Read More
Complex processes and aggressive synthesis interventions are increasing the risks of meta stability, creating a need for netlist-level CDC verification. Read more.