PARIS EDA software vendor OneSpin Solutions GmbH (Munich, Germany) has presented the customizable integration between its 360 MV formal assertion-based verification (ABV) tool and Platform Computing's LSF infrastructure, a workload management solution for high performance computing (HPC) environments.
Such integration, OneSpin claimed, aims to allow 360 MV users to transparently distribute assertion proofs onto multiple heterogeneous computers, reducing turnaround times in complex chip verification.
Users of the combined OneSpin/Platform Computing solution can adapt job scheduling and resource utilization to their needs. They can track named proof tasks using LSF monitoring tools, which report progress directly into the 360 MV graphical environment, OneSpin noted.
The solution is scalable to any cluster size.