Also from this source

You just read:

IDT Accelerates Verification Schedule Using NextOp Assertion Synthesis

News provided by

NextOp Software, Inc.

Sep 19, 2011, 03:40 ET