Xavier Jacquart of STMicroelectronics offered praise. "Since last year, I use another tool called Certitude from Certess," he said. "This tool is now mandatory in our verification flow. It allows us to get metrics and answer the question: how confident could we be in our verification to release the chip and tape out? We can identify exactly the risk we take releasing the chip with the verification level we have achieved."
Certitude is available now starting at $100,000 per year for a time-based license