Making your products more Reliable, Safe and Secure

Clock Domain Crossing Signoff Through Static-Formal-Simulation

Dynamic verification or simulation uses a test-bench approach to functionally verify that the design performs to its specification by observing outputs based on certain meaningful stimuli. On the other hand, static verification verifies the design by structural analysis, logical evaluation, and verification of implicit/explicit properties of the design using formal methods. This article outlines how to signoff clock domain crossing through static-formal-simulation.

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

20th September, 2019|Blog, Thought Leadership|