OneSpin Solutions announced the customizable integration between OneSpin’s 360 MV formal assertion-based verification (ABV) solution and Platform Computing’s LSF infrastructure. The integration enables 360 MV users to distribute assertion proofs onto multiple heterogeneous computers.

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.