DVCon Expo: Exhibitors/Floorplan OneSpin Solutions GmbH Booth # 502
Theresienhoehe 12 OneSpin Solutions provides award-winning, customerproven formal verification solutions that ease and speed verification while delivering the highest-achievable functional quality. OneSpin will demonstrate how OneSpin 360™ Module Verifier turns formal functional verification from an art into an engineering practice that slashes verification effort while detecting all functional errors in complex digital modules and IP. OneSpin also will present its next-generation FPGA equivalence checker that supports all sequential optimizations performed in FPGAsynthesis. Find your path to verification beyond doubt at www.onespin-solutions.com. Tuesday, February 24, 2009 - 2:00 - 6:30pm (Bayshore Ballroom) |

