IDT Accelerates Verification Schedule Using NextOp Assertion Synthesis

SANTA CLARA, Calif., Sept. 19, 2011 — (PRNewswire) — NextOp Software, Inc. today announced that IDT Corporation (NYSE: IDT), has signed a multi-year, multi-license agreement for NextOp's BugScope assertion synthesis technology.  

BugScope automatically generate assertions and functional coverage properties to improve verification observability. IDT uses BugScope's properties to accelerate its verification schedule as follows:

  • BugScope's coverage properties identify functional coverage issues in IP design.  
  • BugScope's assertions detect and fix bugs early in the design process, before checkers are ready.
  • By capturing usage requirements of IPs, BugScope assertions also reduce the time to verify proper IP integration, resulting in more efficient proliferation and usage of IPs.

"IDT is deploying BugScope to accelerate its functional verification for design and integration of IPs," said Alan Coady, Senior Director, Design Automation Group of IDT. "We have been able to integrate over 90% of BugScope's generated properties into our simulation flows."

"IDT is demonstrating its verification leadership by engaging its designers in an assertion-based verification flow," said Yunshan Zhu, President and CEO of NextOp Software. "We are pleased to see the rapid deployment of assertion synthesis technology across multiple projects within IDT."

About NextOp Software

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. 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. The company is headquartered at 2900 Gordon Avenue, Suite 100, Santa Clara, CA 95051. For more information, visit or call +1 408-830-9885. BugScope and NextOp are trademarks of NextOp Software, Inc.

SOURCE NextOp Software, Inc.

NextOp Software, Inc.
IDT Corporation
Gloria Nichols of Launch Marketing
Phone: +1-650-678-2219
Email Contact for NextOp Software, Inc.


Review Article Be the first to review this article

Featured Video
Latest Blog Posts
Colin WallsEmbedded Software
by Colin Walls
Selecting a CPU
Product Applications Engineer for DiCon Fiberoptics, Inc. at Richmond, California
Mid to Senior Level Electrical Engineer for Gordon Prill, Inc at Santee, California
Sr. Electrical Hardware Project Engineer for Stellartech Research Corp at Milpitas, California
Nano-Optics Process Engineer for DiCon Fiberoptics, Inc. at Richmond, California
Principal Engineer, Firmware Engineering for Western Digital at Milpitas, California
Team-Lead - Image Production (m/f/d) for Vexcel-Imaging GmbH at Graz, Austria
Upcoming Events
MEMS & Imaging Sensors Summit at World Trade Center Grenoble France - Sep 25 - 27, 2019
2019 Electronic Design Process Symposium at Milpitas CA - Oct 3 - 4, 2019
Embedded Systems Week (ESWEEK) at New York City NY - Oct 13 - 18, 2019

Internet Business Systems © 2019 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise