Verification Resources

Sort by

Synopsys Suggests

Artificial Intelligence: Let Us Get The Math Right First!

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

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

Mar 7, 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 ...