"NextOp BugScope is an important part of Altera's robust coverage-driven functional verification methodology. BugScope allows us to generate numerous high-quality assertions so we can quickly enhance our tests to reach the highest levels of functional and assertion coverage for our designs."
Jeff Fox,
Principal verification architect
Altera Corporation
"BugScope assertion synthesis has the potential to substantially reduce our
verification effort and accelerate verification closure for our advanced
processor and graphics designs."
Jim Miller
Corporate VP of Design Engineering
AMD
"NextOp BugScope automatically generates high quality assertions which capture the functional constraints in our RTL, and the tool also identifies the coverage holes we need to patch in our simulation testbench. By utilizing NextOp's BugScope assertion synthesis product as part of our functional verification flow, we are able to find corner-case bugs and ensure the success of our projects."
Bill Lind
Director of Engineering
Entropic Communications, Inc.
"IDT is deploying BugScope to accelerate its functional verification for design and integration of IPs. We have been able to integrate over 90% of BugScope’s generated properties into our simulation flows."
Alan Coady
Senior Director
IDT
"Following our rigorous process to ensure that the assertions and coverage properties BugScope generated were of high quality, Nvidia qualified NextOp's BugScope as part of its functional verification methodology. We look forward to expanding adoption of NextOp across our GPU designs."
Dan Smith
Director of Hardware Engineering
Nvidia Corporation
"NextOp offers a unique technology that creates high valued assertions
and enables our ABV flow."
Jordan Silver
Engineering Director
PLX Technology, Inc.
"Developing assertions manually was a slow process. It took us roughly 8 man-hours to write and debug each assertion...In contrast, BugScope assertion synthesis does all this automatically, in about 6 minutes, which is a time savings of about 80x."
Semiconductor Designer
Deepchip/ESNUG 484, Item 1
