The OneSpin Ecosystem

Learn about how we collaborate with partners, service providers, and affiliates

In a world of high technology and disruptive changes, strong collaboration with partners is key to providing value beyond the scope of tools and solutions. Open interfaces and standards are a corner stone for building integrated solutions around different tools. 

OneSpin proudly partners with industry-leading companies to provide our customers with highly integrated and productive verification solutions and fosters strong collaboration throughout the community.

Making Bug Free Integrated Circuits a Reality

We are continuously expanding our relationships, building on an existing ecosystem, which is comprised of strategic alliances, as well as global and regional solution, technology and service partners. Sponsoring communities and participating in standards organizations OneSpin is committed to make a difference. Together we make reliable and bug free digital circuits a reality.

Learn more about our ECO system:

Building the Formal Eco-System with Industry Partners

OneSpin works with a number of companies to drive complete formal solutions for a number of applications.

ARM Connected Community
OneSpin is a proud member of the ARM Connected Community, a global network of companies aligned to provide complete solutions, from design and verification to manufacture to end use, for products based on the ARM® architecture

» More Information


Cadence Connections partnership program
OneSpin is a member of the Cadence Connections partnership program, and through this, cooperates extensively with the High Level Synthesis (HLS) team on its SystemC solution. 

» More Information


Mentor OpenDoor partnership program
OneSpin is a member of the Mentor OpenDoor partnership program, and is actively working with the Questa verification team.

» More Information


Joint customers on Safety Critical devices
OneSpin and MicroSemi are working together with a number of joint customers on Safety Critical devices.

» More Information


Synopsys InSync Partnership Program
OneSpin is a member of the Synopsys InSync Partnership Program, and works closely with the Verification group and the Synplify synthesis team. 

» More Information


XILINX Alliance Partnership Program
OneSpin has a close working relationship with Xilinx, and is a proud member of the Xilinx Alliance Partnership Program. 

» More Information


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.

Spinnaker Partner applying formal verification
“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.”

» More Information


Spinnaker Partner applying formal verification
“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.”

» More Information


Spinnaker Partner applying formal verification
“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.”

» More Information


Spinnaker Partner applying formal verification
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.”


Spinnaker Partner applying formal verification
“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.”

» More Information


Spinnaker Partner applying formal verification
Contemporary Verification Consultants, or CVC, is a top notch VLSI design and verification company based in Bangalore, India. We are focussed on the the ever-challenging functional verification problem by providing innovative, tailored products and services. We aim to improve verification efficiency through a holistic approach rather than just point solutions. Our services come in two major forms, consulting services and training, to working professionals and corporations in general.

» More Information


Spinnaker Partner applying formal verification
Boost Valley is a digital design and verification specialized firm, building its own portfolio of Verification IPs along with providing Senior level quality consultation services in Digital Design/Verification domains. “Our goal is to establish strategic alliances designed to help deliver a client-centric, total solutions approach for solving problems and creating sustainable competitive advantage for our clients. We are looking forward through our partnership with OneSpin, to expand our verification offerings using their exceptional design verification tools, facilitating on our customers their verification task beyond their expectation level” said Randa Hashem, business development manager of Boost Valley.

» More Information


Spinnaker Partner applying formal verification
Paradigm Works® is an industry recognized provider of Chip Development Consulting Services, VIP, and EDA Free Open Source Software (EDA FOSS). Paradigm Works Services, VIP, and EDA FOSS help to reduce development costs, quicken time to-revenue, and minimize schedule risk for leading semiconductor and electronic systems companies worldwide. Paradigm Works is headquartered in North Andover, Massachusetts with offices in Austin, San Jose, and Mumbai.

» More Information


Driving Technology Forward 

OneSpin actively participates in various industry organizations to further the EDA industry in general and drive key standards activities. Sponsoring communities like formalworld.org we actively foster the relationship between users, academia and industry.

OneSpin proudly sponsors FormalWorld.org
Open and free community that provides users with the latest news and technical information in Formal Verification. 

» More Information


Electronic System Design Alliance (ESD Alliance)
OneSpin is part of the Electronic System Design Alliance (ESD Alliance), an international association of companies providing goods and services throughout the semiconductor design ecosystem.

» More Information


Accelera Standards Organization
OneSpin is a proud member of the Accellera standards organization and participates in various standards committees and other activities.

» More Information


OneSpin is a proud sponsor of DVClub
DV Club is a technically focused engineering group operating across the US and Europe.

» More Information

 

Press Contact

Nanette Collins
» nanette@nvc.com
» +1 617 437 1822