NextOp Software, Inc. is focused on delivering progressive, targeted functional verification solutions that work with existing simulation, formal and emulation verification flows.  NextOp's assertion-based verification approach enables design and verification teams to uncover bugs, expose functional coverage holes, and increase verification observability.

 

Progressive, Targeted Verification

 

NextOp's flagship product BugScope assertion synthesis automatically generates assertions and functional coverage properties to drive progressive, targeted verification via robust and executable design specifications. BugScope adds a mechanism to existing verification approaches to measure the design and verification team's progress toward declaring the design to be "functionally correct" over sequential verification cycles. BugScope is in production use at leading edge semiconductor chip companies such as Altera, Entropic and NVIDIA.

 

NextOp was founded in 2006 and is headquartered at Santa Clara, California.