SOURCE: NextOp; Real Intent; SpringSoft

semiconductor, EDA, electronic design automation, clock domain crossing, CDC, ASIC, FPGA, linting

January 13, 2011 20:48 ET

NextOp, Real Intent and SpringSoft to Unite With Presentations on Functional Verification and Debug at Tokyo University

TOKYO--(Marketwire - January 13, 2011) -

Who/What:
NextOp, Real Intent and SpringSoft are uniting in an open event at Tokyo University to present on five functional verification and debug topics for high performance electronic design.

The presenters and their topics include:
Yunshan Zhu, CEO, NextOp Software
Assertion Synthesis: Enabling Assertion-Based Verification for Simulation, Formal and Emulation Flows

Pranav Ashar, CTO, Real Intent
Chasing X's Between RTL and Gate Level Efficiently
What do you need to know for effective CDC verification?

Bindesh Patel, Technology Manager, SpringSoft
Getting You Closer to Verification Closure
 SystemVerilog Testbench -- Innovative Efficiencies for Understanding Your Testbench Behavior

When/Where:
Wednesday, February 02, 2011, 10:00 - 20:00
University of Tokyo, Takeda building, 5F Hall

Information and Registration
For more information about this open event, please click here.

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 BugScope automatically generates assertion and functional coverage properties, which are used to drive progressive, targeted verification via robust, executable design specifications for existing simulation, formal and emulation flows.
www.nextopsoftware.com

About Real Intent
Real Intent  is the innovator in automating the intelligence of formal techniques for electronic design verification signoff. Its software dramatically improves functional verification efficiency and design quality for ASICs and FPGAs devices and is used by design and verification teams worldwide.
www.realintent.com

About SpringSoft
SpringSoft, Inc. (TWSE: 2473) is a global supplier of specialized automation technologies that accelerate engineers during the design, verification and debug of complex digital, analog and mixed-signal ICs, ASICs, microprocessors, and SoCs. Its award-winning product portfolio features the Novas™ Verification Enhancement and Laker Custom IC Design solutions used by more than 400 of today's leading IDM and fabless semiconductor companies, foundries, and electronic systems OEMs. www.springsoft.com

Notes to editors:
Novas and Laker are trademarks of SpringSoft, Inc.
All other trademarks and trade names are the property of their respective owners.

Contact Information