Design
Onespin Solutions Announces Customizable Integration Between 360 MV Verification Solution And Platform LSF Infrastructure
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.
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.