Making your products more Reliable, Safe and Secure

Formal Bug Hunting with “River Fishing” Techniques

Formal verification has been used successfully to verify today’s SoC designs. Traditional formal verification, which starts from time 0, is good for early design verification, but it is inefficient for hunting complex functional bugs. This article shows what are the new river fishing techniques in formal verification for bug hunting.

Read More


Find out how T&VS Verification services help to meet the challenging requirements with respect to performance, flexibility and verify today’s complex designs effectively.

14th November, 2019|Blog, Thought Leadership|