TransEDA and Novas Software Team to Increase Debug Productivity for Property-Driven Verification
TransEDA Joins Novas Harmony Partner Program and Integrates VN-Property DX with Novas Debussy
LOS GATOS, Calif. (U.S.A.) -- June 3, 2002 -- TransEDA PLC, the leader in ready-to-use verification solutions for electronic designs, today announced integration of its VN-Property DX dynamic property checker with Novas Software's Debussy knowledge-based debug system and support for Novas' open Fast Signal Database (FSDB). TransEDA also announced it has joined the Novas Harmony Partner Program. The partnership of the companies will enable close cooperation to speed design debug in a property-driven verification methodology.
VN-Property DX accelerates verification of complex systems from architecture to system level by measuring the effectiveness of simulation against standard or design-specific properties. By integrating VN-Property DX with Debussy, TransEDA enables engineers to decrease the time spent debugging property violations. When an engineer finds properties violated in simulation with VN-Property DX, those violations can be seamlessly and immediately debugged using Debussy.
"TransEDA is pushing toward a property-driven verification methodology for electronics design engineers," said Scott Sandler, Novas Software's president and CEO. "We believe properties are vital to the future of verification. Debussy gives designers an environment for accessing all their design files and tools, and a productive way to debug and fix designs earlier in the verification process. The integration of dynamic property checking into this process will enable our customers to increase their productivity in a new and extraordinarily valuable way."
"TransEDA enables engineers to accelerate verification from architecture to system level by specifying design intent with properties and re-using that specification throughout the design process," said Tom Borgstrom, vice president of marketing at TransEDA. "Novas is the leader in debug productivity tools and we've partnered with them to provide our customers with a best-in-class debug solution for the property-driven verification methodology."
Enabling Faster Debug in a Property-Driven Verification Flow
VN-Property DX enables engineers to view information about a property's values in either a textual representation or a simple graphical form. After viewing results in VN-Property DX, engineers can then use Debussy for a more detailed investigation such as cross-probing between signals and the RTL source code.
VN-Property DX also supports Novas' FSDB simulation log format as part of its integration with Debussy. Engineers can capture simulation results in an FSDB file and use these results for both simulation debug with Debussy and dynamic property checking with VN-Property DX. This simplifies the simulation flow, eliminating redundant files.
About Verification Navigator
The VN-Property DX dynamic property checker is part of TransEDA's Verification Navigator integrated design verification environment, which features tools that enable IC designers to manage and shorten verification time. In addition to VN-Property DX, Verification Navigator includes VN-Check configurable HDL checker, VN-Cover coverage analysis, VN-Cover Emulator� coverage analysis for hardware-assisted verification, VN-Optimize test suite analysis, and VN-Control application-specific test automation. Verification Navigator supports all leading Verilog, VHDL, and dual-language simulators and is available on the Solaris, HP-UX, AIX, Linux, Windows NT, and Windows 2000 platforms.
Pricing and Availability
VN-Property DX version 2002.07 with support for Novas Debussy and FSDB will be available in July 2002. VN-Property DX and is independent of the simulation language used. Pricing starts at $15,000 (U.S.) for an annual subscription license. For more information on VN-Property DX, visit www.transeda.com/vnpropertydx.
About TransEDA
TransEDA PLC (symbol TRA on the London Stock Exchange) develops and markets ready-to-use design verification solutions for electronic field-programmable gate array (FPGA), application-specific integrated circuit (ASIC), and system-on-chip (SoC) designs. The company's verification IP library includes models and properties for advanced microprocessors and standard bus interfaces.
TransEDA's design verification software performs application-specific test automation, configurable HDL checking, dynamic property checking, code and finite state machine (FSM) coverage analysis, and test suite analysis. TransEDA's tier-one customers include 18 of the world's top 20 semiconductor vendors.
For more information, visit www.transeda.com or contact TransEDA at 985 University Avenue, Los Gatos, Calif. 95032 U.S.A., telephone (408) 335-1300, fax (408) 335-1319, e-mail info@transeda.com.
Note: TransEDA and Verification Navigator are registered trademarks and VN-Property DX, VN-Check, VN-Cover, VN-Cover Emulator, and VN-Optimize are trademarks of TransEDA. Novas Software and Debussy are registered trademarks of Novas Software, Inc. All other trademarks are properties of their respective holders.
|
Related News
- TransEDA Enables Property Driven Verification Methodology with New Release of its VN-Property DX Dynamic Property Checker
- Siemens brings formal methods to high-level verification with C++ coverage closure and property checking
- Cadence Verisium AI-Driven Verification Platform Accelerates Debug Productivity for Renesas
- Paradigm Works Releases UVM 1.x VerificationWorks
- Numetrics and PRTM Announce Partnership and Launch New Solution to Increase Semiconductor R&D Productivity
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 |