Verification Resources

Sort by

Synopsys Suggests

AI And ML Applications Require Advanced Datapath Verification

Jan 28, 2021 - Today’s AI/ML/DL designs are math-intensive and packed with powerful arithmetic engines. Find out how Formal Verification provides a powerful method for verifying these complex AI ...

Formal Verification Becoming Critical To Auto Security, Safety

Sep 09, 2020 - Formal verification is poised to take on an increasingly significant role in automotive security, building upon its already widespread use in safety-critical applications.

Artificial Intelligence: Let Us Get The Math Right First!

Jun 06, 2019 - Data path verification with formal for artificial intelligence (AI) designs.

Don’t Have A Meltdown Over A Spectre In Your SoC

Mar 07, 2019 - Verifying that there are no bugs in the hardware that cause secure data leaks will help you avoid a meltdown.

Formal Fundamentals: What’s Hiding Behind Your Constraints

Jul 17, 2018 - The reason we need constraints or assumptions in the first place is to limit the behavior/functionality that the formal tool analyzes to the design’s “legal” states/subset. We don’t ...