Gary Smith EDA Names NextOp Software as "What To See @ DAC" Company

 

 

LOS GATOS, Calif., June 11, 2010 - NextOp Software, Inc. has been selected by Gary Smith EDA as a What to See @ company at the 2010 Design Automation Conference. http://www.garysmitheda.com/paper/What2SeeDAC.pdf

 

WHO: NextOp Software, Inc. is focused on delivering assertion-based verification solutions that allow design and verification teams to uncover bugs, expose functional coverage holes, and increase verification observability.

 

WHAT: NextOp’s BugScope assertion synthesis is the first product to automatically generate whitebox assertions and functional coverage properties in SVA, PSL and Verilog formats. BugScope’s properties are used to drive progressive, targeted verification via robust, executable design specifications for existing simulation, formal and emulation flows.

 

WHEN/WHERE: Design Automation Conference (DAC), Anaheim Convention Center, Anaheim, Calif. June 14-18, NextOp Software Booth 1442.

 

 

Media contact:
Gloria Nichols
Launch Marketing
650-560-9002
gloria@launchm.com