Tag Archives: Formal verification

Scoreboarding “app” for Formal verification tools allows anyone to get exhaustive verification results—even on datapaths

If you think you know what Formal verification is all about, you are probably wrong. There’s a free webinar coming up on November 17 that will blow out the walls on your boxed-in thinking about Formal. The Webinar is about … Continue reading

Posted in EDA360, Silicon Realization, SoC Realization, Verification | Tagged , | Leave a comment