CONTACT US! or submit your inquiry online.

FPGA Autocheck & CDC Analysis Workshop

August 22, 2017
10:30 AM - 1:30 PM (PDT)
EDA Direct
4701 Patrick Henry Dr Suite #13

This workshop will deliver an overview of the Autocheck and Clock Domain Checking (CDC) Applications.

The Autocheck tool allows designers and verification engineers to quickly and easily verify that a design is free of many common functional design issues. This feature uses automatic assertion creation and formal sequential analysis to verify the design before a testbench is available and without user-written assertions. Common design checks performed by Autocheck include FSM checks, deadcode/stuck checks, arithmetic checks, register and bus checks to name a few. Also included is a series of checks for X verification and initialization effects in your design. Autocheck can also automatically generate an exclusion file for improving simulation code coverage thus reducing the amount of time wasted trying to hit unreachable states.

Multi-clock designs are subject to metastability, which causes mismatches between traditional simulation and silicon reality. Just dding synchronization structures is not sufficient for preventing CDC bugs in silicon. This webinar explains the importance of examining that appropriate synchronizers are in place for all clock domain crossings and analyzing the CDC timing protocols for correct synchronizer operation. Through a set of detailed examples, we show how CDC protocol failure in clock domain crossings will lead to functional problems and silicon failure.

What You Will Learn
  • Autocheck
    • How AutoCheck can improve the quality of your design before running simulation
    • How you can verify the effect of X's and initialization issues in your design before taking it to h/w
    • How you can improve your code coverage results through the use of automatically generated exclusions
    • A brief overview of AutoCheck using a simple example
  • Clock Domain Crossing
    • How metastability can lead to functional issues in silicon
    • Why synchronization structures alone are not sufficient to prevent CDC functional issues
    • How CDC Analysis enables you to eliminate CDC protocol issues caused by metastability