Scalable integration between OneSpin's ABV tool and Platform LSF
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.
