Deep Semantic and Formal Analysis: An Effective Tag Team for Static Verification

Static Verification technologies (Deep semantic analysis and Formal methods) are the only way to sign-off on verification objectives in a reasonable amount of time.

Dr. Pranav Ashar, CTO at Real Intent, outlines how the RTL sign-off of verification objectives can be accomplished using static-verification technologies to improve the efficacy.

Read More