Normally I would not comment on a product being sold to a company, but I do take more notice when a) it is a startup company that is creating a new field and b) when the company buying the product is indicating that this is not just a small pilot program, but they expect to see extensive adoption. Such is the case with the NextOp assertion synthesis product.
To me, this is a product that falls into the automated review categories. The tool says back to you – is that what you meant? Is this what you intended? It starts from the design and automatically creates assertions and cover properties for that design. According to their new customer IDT, NextOp’s Bugscope product accelerates their verification schedule in the following ways: - BugScope’s coverage properties identify functional coverage issues in IP design. - BugScope’s assertions detect and fix bugs early in the design process, before checkers are ready. - By capturing usage requirements of IPs, BugScope assertions also reduce the time to verify proper IP integration, resulting in more efficient proliferation and usage of IPs.
“IDT is deploying BugScope to accelerate its functional verification for design and integration of IPs,” said Alan Coady, Senior Director, Design Automation Group of IDT. “We have been able to integrate over 90% of BugScope’s generated properties into our simulation flows.”
Join our online Radio Show on Friday 11th July starting at 2:00pm Eastern, when EETimes editor of all things fun and interesting, Max Maxfield, and embedded systems expert, Jack Ganssle, will debate as to just what is, and is not, and embedded system.