SANTA CLARA, CA--(Marketwired - Apr 25, 2013) -   OneSpin Solutions™ (, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, today unveiled Spinnaker™, its service partners program and named five inaugural members.

With its focus on leading-edge products and technology, OneSpin's Spinnaker Certified Service Partners Program will ensure a broad range of service expertise to meet a variety of verification needs. Inaugural members are 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.

"It gives us great pleasure to launch this program with an already participating solid team of verification experts who have leveraged OneSpin tools on a host of designs," says Dr. Raik Brinkmann, OneSpin Solutions' president and chief executive officer (CEO). "In many ways, they are serving as our ambassadors and application engineers to design and verification teams at semiconductor companies worldwide."

Comments from Inaugural Members
OneSpin's verification service partners have more than 20 years of formal verification experience in large industrial projects. Expertise includes proof-of-concept, pilot projects, product and methodology training, on-the-job training, project coaching and reviews, turnkey verification projects, as well as expert support and troubleshooting.

"OneSpin Solutions has always been a premier verification provider with excellent tools, in-depth training and fantastic support," notes Marleen Boonen, CEO and founder of Methods2Business, a verification service business serving an international market, particularly Germany, Benelux and Eastern Europe. "Its focus on formal tools and a license-based business enables companies such as Methods2Business to generate revenue. OneSpin's unique GapFreeVerification process guides verification engineers to reach 100% functional coverage on their most critical IP for the highest possible verification quality."

"As the world's only dedicated formal verification service provider, we have applied Oski's unique formal methodology at many leading semiconductor companies to enable innovative SoC designs and formal sign-off," comments Vigyan Singhal, president and CEO of Oski Technology. "We've had successes in using OneSpin's equivalence checking software in our projects, and regard OneSpin's 360 EC-FPGA as a key component in the development of high-quality sequential synthesis flows."

"The OneSpin design verification tools are exceptional," remarks Peter Jensen, owner and managing director of SyoSil, a Danish design and verification service business serving Germany and Scandinavia. "The OneSpin 360 DV-Certify product with the GapFreeVerification process offers a value proposition that is unique in the market place. It has been a pleasure to work with the software for a number of years, and it is a pleasure to recommend the tools. We welcome the opportunity to partner more closely with OneSpin."

Sergio Marchese is managing director of TeraStatic, a verification services provider that works with semiconductor companies in Europe. He adds: "I can cite numerous projects showing phenomenal results from OneSpin's design verification software. OneSpin technology has consistently enabled us to deliver outstanding results to our customers."

"Partnering with OneSpin will offer great leverage for both companies, especially since TVS has more than 70 verification engineers worldwide," concludes Dr. Mike Bartley, CEO and founder of TVS. "Under the Spinnaker program, we'll be able to combine our expertise in mixed static-dynamic verification environments with OneSpin's formal verification technology and knowledge to bring much needed, comprehensive verification solutions to a wider community."

To learn more about the program, visit:

About OneSpin Solutions
Electronic design automation (EDA) supplier OneSpin Solutions was founded in 2005 as a spin-off from Infineon Technologies AG. Its award-winning formal verification software is based on more than 300 engineering years of development and application service experience. OneSpin's comprehensive product line enables design teams to avoid costly design respins, while dramatically cutting their verification effort, costs and engineering schedules. Leading telecommunications, automotive, consumer electronics and embedded systems companies rely on OneSpin to achieve the highest possible verification quality while reducing their time-to-market pressures. Its United States headquarters is located in Santa Clara, Calif. Corporate headquarters is in Munich, Germany. Email: Website:

OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and GapFreeVerification are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.

Contact Information:

For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822