NextOp Reduces Engineering Development Time with BugScope Assertion Synthesis for Assertion-Based Verification
Update: Atrenta Accelerates Growth in Front End Design with Acquisition of NextOp Software, Inc. (June 20, 2012)
SANTA CLARA, Calif. May 16, 2011 – NextOp Software, Inc. today announced that its BugScope Assertion Synthesis for Assertion-Based Verification reduces engineering time and engineering effort needed to create high quality functional coverage properties and assertions. Partnering with Altera Corporation (NASDAQ: ALTR), the technology leader has signed a multi-year, multi-license agreement to expand its deployment of NextOp’s BugScope Assertion Synthesis product. BugScope’s assertion and coverage properties help Altera engineers find bugs earlier in the design process before their end-to-end checkers and coverage monitors are written.
NextOp’s product helps improve functional coverage by automatically identifying all relevant problem signals without user guidance. BugScope’s automation and Verilog-like language make it easy for designers to understand the assertion and functional coverage properties generated, even with minimal prior exposure to assertions.
“NextOp’s BugScope allows us to find bugs during property classification and simulations, shortening our verification process and saving us debug time,” said Chong H. Lee, director in IC design at Altera. “BugScope's innovative tool is now a part of our process for our IP design and verification flow.”
“We are pleased that a technology leader such as Altera has successfully deployed our BugScope's assertion synthesis product,” said Yunshan Zhu, President and CEO of NextOp Software. “We look forward to a continued close relationship with Altera as they further expand their BugScope adoption for their assertion-based verification methodology.”
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 www.nextopsoftware.com or call +1 408-830-9885.
|
Related News
- NextOp Announces BugScope Assertion Synthesis for Progressive, Targeted Verification
- NextOp Licenses BugScope Assertion Synthesis to Graphics Leader NVIDIA
- NextOp Software Debuts with Focus on Assertion-Based Verification
- Siemens IT Solutions and Services Adopts Cadence's Assertion-based VIP to Speed Development
- Assertain success boosts investors' interest in TransEDA Assertion-Based Verification strategy
Breaking News
- Logic Design Solutions launches Gen4 NVMe host IP
- ULYSS1, Microcontroller (MCU) for Automotive market, designed by Cortus is available
- M31 is partnering with Taiwan Cooperative Bank to launch an Employee Stock Ownership Trust to strengthen talent retention
- Sondrel announces CEO transition to lead next phase of growth
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
Most Popular
- Arm's power play will backfire
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PUFsecurity Collaborate with Arm on PSA Certified RoT Component Level 3 Certification for its Crypto Coprocessor to Provide Robust Security Subsystem Essential for the AIoT era
E-mail This Article | Printer-Friendly Page |