Making your products more Reliable, Safe and Secure

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.

2018-02-23T12:45:33+00:0021st September, 2015|Blog, Thought Leadership|