OneSpin Solutions demonstrates its field-proven OneSpin 360™ Module Verifier formal verification solution - the first to systematically detect all functional errors in complex digital modules and intellectual property. The demonstration shows how 360 MV efficiently detects all gaps in complex verification plans using automatic completeness analysis. OneSpin will also present a new highly automated equivalence checking product - extending its well-established, synthesis independent 360 Equivalence Checker – that preserves design quality through subsequent implementation and optimization phases.

Consultants' Corner
Gary Stringham & Associates, LLC
Sunburst Design, Inc.
Sutherland HDL, Inc.
XtremeEDA Corp.