You
can’t afford to go through weeks of verification only to discover problems in
the Register-Transfer Level (RTL) code—problems which may be lead to functional
or implementation issues. Traditional Structural Lint techniques which have
been used to catch these problems are no longer sufficient in evaluating RTL
code for today’s larger, more complex designs. Structural Lint technology needs to be
significantly augmented to enable designers to catch more issues upfront as true issues and not just a sea of
warnings.
One
way to augment early design checking is to bring formal technology to this
domain. Join Cadence Training and Product Engineering Architect Kanwarpal Singh
for our free, one-hour live webinar “Comprehensive
RTL Signoff by Designers Using JasperGold Superlint”. Learn more about Cadence® JasperGold® Superlint App—built on the
industry-leading JasperGold Formal Verification Platform—bringing
best-in-class Automatic Formal Checks and structural lint into one integrated flow.
Wednesday,
June 24, 08:00 PDT / 17:00 CEST / 18:00 IDT / 20:30 IST
We’ll be exploring:
- Benefit of augmenting Structural Lint with formal enabled automatic checks
- Different types of Auto-formal checks
- Innovative ways to leverage formal to reduce noise in structural lint
