OneSpin Solutions Unveils Spinnaker Certified Service Partners Program With Five Inaugural Members

OneSpin Solutions Unveils Spinnaker Certified Service Partners Program With 
Five Inaugural Members 
Program Offers Training, Certification, Software Licenses to
Qualifying Members 
SANTA CLARA, CA -- (Marketwired) -- 04/25/13 --   OneSpin
Solutions(TM) (, provider of innovative
formal assertion-based verification (ABV) and formal equivalence
checking solutions, today unveiled Spinnaker(TM), 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(TM) or the 360
DV(TM) 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
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 East
ern 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
"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. 
For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822 
Press spacebar to pause and continue. Press esc to stop.