Tag Archives: formal assertion

360 MV Verification Solution – Platform LSF Infrastructure Integration

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.

Continue reading