OneSpin Solutions GmbH (Booth: 29)

Contact: Michael Siegel, VP Marketing

Theresienhoehe 12 80339 Munich Germany Tel: +49 89 99013 0 Fax: +49 89 99013 400

E-Mail: michael.siegel@onespin-solutions.com
Website: OneSpin Solutions GmbH

EDA company OneSpin Solutions, headquartered in Munich, provides award-winning, groundbreaking formal verification products for ASIC and FPGA designs. OneSpin’s flagship product 360 MV has recently been selected for the third time as one of industry's most innovative and significant products for functional RTL verification. Visit us at booth #29 to see 360 MV’s unique capabilities including (1) industry’s only formal coverage analysis for sets of SVAs, (2) automatically-checked criteria for when verification is “done;” (3) SVA development directly from timing diagrams; and (4) SVA debugging capabilities that pinpoint the exact reason for assertion failures. These capabilities enable the systematic, high-level verification of design operations and transactions with unprecedented verification coverage and productivity.

Market-leading companies in the US, Europe, and Japan rely on OneSpin’s products to accelerate time-to-market and achieve outstanding design quality – confirmed in several hundred successful projects.

ASIC and SOC Design:
Verification

Services:
Design Consultancy