OneSpin Solutions’ 360 MV formal assertion-based verification (ABV) solution has been integrated with Platform Computing’s LSF infrastructure. The customizable integration between 360 MV and Platform LSF enables engineers to adapt job scheduling and resource utilization to their needs. Designers can track named proof tasks using LSF monitoring tools, which report progress directly into the 360 MV graphical environment.
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.
The combined OneSpin/Platform Computing solution is scalable to any cluster size. The seamless and easy integration between the products works in heterogeneous environments, requires no Platform LSF administrator rights and works with both established and new infrastructures.
Platform Computing’s LSF is a workload management solution for high-performance computing environments.
More info: OneSpin Solutions