Others have gone here before me, and now it is my turn! Formal verification is a tool for verifying the correctness of your implementation. Traditional verification strategies have relied on hand-crafted testbenches to provide stimuli to the DUT. Formal verification aims to automate that process.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.