OneSpin Solutions Unveils OneSpin 360 DV Product Family
Bundles Multiple Software Solutions at No Additional Charge, Bucking Industry “Apps” Trend
MUNICH, GERMANY –– February 11, 2013 –– OneSpin Solutions™ (www.onespin-solutions.com), provider of innovative formal assertion-based verification (ABV) solutions, announced the bundling of multiple verification tools into its new OneSpin 360™ DV Product Family.
OneSpin 360 DV is shipping now and contains three separate verification tools for push-button formal analysis, automated transaction-level ABV and functional coverage. Tools come bundled with pre-packaged solutions at no additional charge.
“Our formal verification software is built on a base technology that automates its use to perform tasks for a specific solution,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer. “While the EDA industry is moving toward an ‘apps’ model, we believe this automation is every bit as valuable as an ‘app’ but should come as a bundled solution.”
Unveiling OneSpin 360 DV
The modular OneSpin 360 DV Product Family covers the full spectrum of formal ABV applications for register transfer level (RTL) design and includes 360 DV-Inspect, 360 DV-Verify and 360 DV-Certify. It accelerates a variety of verification tasks, shortens verification schedules and enables engineers to achieve design quality.
OneSpin 360 DV covers a broad range of formal ABV applications for new formal verification users to experienced users and experts and from fully automatic RTL checks to OneSpin’s GapFreeVerification™. With a step-by-step learning approach, new users can be productive in days.
360 DV-Inspect offers push-button formal analysis and is suitable for all levels of experience. 360 DV-Verify comprises several automated verification solutions and requires little formal verification knowledge, while making formal verification experts more productive by allowing them to capture their assertions at the transaction level. 360 DV-Certify enables formal experts to efficiently achieve 100% functional coverage for intellectual property (IP) blocks.
The OneSpin Solutions Product Portfolio
OneSpin Solutions provides comprehensive formal verification solutions across the entire system-on-chip (SoC) design project. Its software is in use on application specific integrated circuit (ASIC) and field programmable gate array (FPGA) designs to reduce verification effort and costs and deliver high functional quality.
In addition to OneSpin 360 DV, it also develops OneSpin 360 EC, an automated verification solution to show the functional equivalence of design representations. OneSpin 360 EC can be used standalone for full-chip implementation design equivalence in both ASIC and FPGA flows or in conjunction with the OneSpin 360 DV Product Family to preserve design quality through subsequent implementation and optimization phases. (See accompanying news release also issued today titled, “OneSpin Solutions Adds RTL-to-RTL Equivalence Checking to Product Family.”)
The OneSpin Product Family will be demonstrated February 26-27 from 3:30 p.m. until 6:30 p.m. at DVCon 2013 at the Doubletree Hotel in San Jose, Calif. Details about DVCon can be found at: www.dvcon.org.
Availability
The OneSpin 360 DV product suite is available and shipping now. Pricing is available upon request.
For more information, visit www.OneSpin-Solutions.com.
About OneSpin Solutions
Electronic design automation (EDA) supplier OneSpin Solutions of Munich, Germany, was founded in 2005 as a spin-off from Infineon Technologies AG. It leverages more than 300 engineer-years of formal verification technology development and application service experience to enable design teams to avoid costly redesigns and respins, while dramatically cutting their verification effort and costs and time-to-market pressures. Market-leading telecommunications, automotive, consumer electronics, and embedded systems companies rely on OneSpin to reduce their verification effort and achieve the industry’s highest possible verification quality. Email: info@onespin-solutions.com. Website: www.onespin-solutions.com.
Related Semiconductor IP
- Bluetooth® Low Energy 6.2 PHY IP with Channel Sounding
- General use, integer-N 4GHz Hybrid Phase Locked Loop on TSMC 28HPC
- JPEG XL Encoder
- LPDDR6/5X/5 PHY V2 - Intel 18A-P
- ML-KEM Key Encapsulation & ML-DSA Digital Signature Engine
Related News
- OneSpin Solutions Enters EDA Market with Breakthrough Formal Verification Solution; OneSpin 360 Module Verifier First to Enable True Functional Sign-off and Risk-Free IP Reuse
- OneSpin Enhanced 360 Module Verifier Delivers Industry's Firt Complete Multi-Configuration IP Verification Solution
- OneSpin Solutions Announces Customizable Integration Between 360 MV Verification Solution and Platform LSF Infrastructure
- OneSpin Solutions Enhances 360 MV for Safe, Exhaustive 4-State X-Analysis and X-Verification
Latest News
- Mixel MIPI IP Integrated into Automotive Radar Processors Supporting Safety-critical Applications
- GlobalFoundries and Navitas Semiconductor Partner to Accelerate U.S. GaN Technology and Manufacturing for AI Datacenters and Critical Power Applications
- VLSI EXPERT selects Innatera Spiking Neural Processors to build industry-led neuromorphic talent pool
- SkyWater Technology and Silicon Quantum Computing Team to Advance Hybrid Quantum-Classical Computing
- Dnotitia Revolutionizes AI Storage at SC25: New VDPU Accelerator Delivers Up to 9x Performance Boost