OneSpin Solutions Announces Customizable Integration Between 360 MV Verification Solution and Platform LSF Infrastructure
Scalable integration speeds functional verification turnaround times
MUNICH, Germany and SUNNYVALE, Calif. — February 22, 2010 — OneSpin Solutions, an electronic design automation (EDA) company that provides innovative functional RTL verification solutions, today announced the customizable integration between OneSpin’s 360 MV formal assertion-based verification (ABV) solution and Platform Computing’s LSF infrastructure, the industry’s leading workload management solution for high-performance computing environments. The integration enables 360 MV users to transparently distribute assertion proofs onto multiple heterogeneous computers, slashing turnaround times in complex chip verification. Platform Computing is a leader in cluster, grid and cloud management software and has welcomed OneSpin as a new member to its Platform Alliance Network.
Tripp Purvis, vice president of business development, Platform Computing, said, “The combined OneSpin/Platform Computing solution will benefit customers because it is scalable to any cluster size. The seamless and easy integration between these products works in heterogeneous environments, requires no Platform LSF administrator rights and works with both established and new infrastructures.”
Michael Siegel, OneSpin’s vice president of product marketing, said, “We’ve joined the Platform Alliance Program to provide our customers with the best-possible Platform LSF support. Thanks to Platform’s excellent technical service and backing, our own LSF installation for testing and enhancements was up and running in a day.”
The customizable integration between 360 MV and Platform LSF allows users to adapt job scheduling and resource utilization to their needs. Users can track named proof tasks using LSF monitoring tools, which report progress directly into the 360 MV graphical environment.
About OneSpin Solutions
Electronic Design Automation (EDA) company OneSpin Solutions delivers award-winning, highest-capacity formal verification solutions that ease and speed the functional verification of complex ASIC and FPGA designs. OneSpin’s 360 MV solutions enable unprecedented verification coverage and productivity through patented formal coverage analysis. For further information please visit http://www.onespin-solutions.com/ or email info@onespin-solutions.com.
Related Semiconductor IP
- NFC wireless interface supporting ISO14443 A and B with EEPROM on SMIC 180nm
- DDR5 MRDIMM PHY and Controller
- RVA23, Multi-cluster, Hypervisor and Android
- HBM4E PHY and controller
- LZ4/Snappy Data Compressor
Related News
- OneSpin Solutions Enhances 360 MV for Safe, Exhaustive 4-State X-Analysis and X-Verification
- OneSpin Solutions Announces 360 MV-Based Formal Verification Environment Adopted by Renesas Electronics Microcontroller Platforms
- 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
Latest News
- CAST Releases First Dual LZ4 and Snappy Lossless Data Compression IP Core
- Arteris Wins “AI Engineering Innovation Award” at the 2025 AI Breakthrough Awards
- SEMI Forecasts 69% Growth in Advanced Chipmaking Capacity Through 2028 Due to AI
- eMemory’s NeoFuse OTP Qualifies on TSMC’s N3P Process, Enabling Secure Memory for Advanced AI and HPC Chips
- AIREV and Tenstorrent Unite to Launch Advanced Agentic AI Stack