You just read:

NextOp Reduces Engineering Development Time with BugScope Assertion Synthesis for Assertion-Based Verification

News provided by

NextOp Software, Inc.

May 16, 2011, 03:01 ET