Making your products more Reliable, Safe and Secure

Using sequential equivalence to verify clock-gating strategies

This article from Tech Design Forum explores why formal techniques are powerful, and describes why sequential equivalence checking is a particularly appropriate way to check that a design will work the same way after a clock-gating strategy has been applied.

Read More

Find out how T&VS Formal Verification techniques helps to improve the quality of Verification.

15th November, 2017|Blog, Thought Leadership|