Spinnaker Partners applying formal verification across the globe
OneSpin's Spinnaker Certified Service Partners Program ensures a broad range of service expertise to meet a variety of verification needs. Members include Methods2Business, Oski Technology, Syosil, Terastatic and Test and Verification Solutions (TVS), all certified to offer services using either the OneSpin 360 EC™ or the 360 DV™ Product Families.
Under terms of the program, each is trained and certified to offer services using OneSpin's design verification or equivalence checking software. Member partners are then able to use its formal verification solutions in their customer engagements with the full support of OneSpin's technical staff. OneSpin's certified verification service partners have more than 20 years of formal verification experience in large industrial projects.