Going Deep Or Broad With Formal?
By Ann Steffora Mutschler
Whether to apply formal verification technology to semiconductor design broadly or deeply is a tough question. It hinges on what is the best way to achieve maximum ROI?
[…]
“By solving specific problems, the value of apps is easy to understand,” said Sergio Marchese, technical marketing manager at OneSpin Solutions. “Many apps require no knowledge of assertions or formal algorithms. At their best, using formal apps is as easy as running traditional ‘lint’ checks while finding significantly more serious design bugs. Apps also serve as a first step into formal verification. A user of connectivity checking may find that a few constraints are necessary to get accurate results and move on to try writing and proving a few assertions.”