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.