close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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 Functionally Correct, Safe, Secure, and Trusted Integrated Circuits Circuits a Reality

We are continuously expanding our relationships, building on an existing ecosystem, which is composed 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 IC integrity possible.

Learn more about our Ecosystem:

Building the Integrity Ecosystem with Industry Partners

OneSpin works with a number of companies to drive complete IC integrity 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 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

“The only way to make formal mainstream for all design verification is to enable and empower designers and verification engineers,” notes Dr. Ashish Darbari, CEO of Axiomise. “Formal verification training and services will ensure designers and verification engineers are able to apply formal in a predictable way to achieve high-quality sign-off. Partnering with OneSpin is a step forward to make this a reality.”

» More Information


Spinnaker Partner applying formal verification

“We work with leading semiconductor companies and have scores of customers across the globe, and possess a comprehensive portfolio of Verification IP, both simulation and formal, that are known for their quality, reliability and performance,” says Nitin Kishore, Truechip’s CEO. “Our Philosophy of P3 -- Prompt Support, Perfect Integration and Proven Solution -- distinguishes us from others. This partnership will strengthen our formal verification IP portfolio for benefitting common customers.”

 

» More Information


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

“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

Being a OneSpin Spinnaker member allows us to perform services and consulting on the most advanced techniques and technologies in regards to formal verification, fault tolerant systems and theorem proving approaches for safety critical systems" related François Cerisier, CEO and founder of AEDVICES Consulting.

AEDVICES Consulting provides EDA, Semiconductors and Embedded Systems companies with project support, application engineering, design development and verification services and tools. Their expertise includes software development, hardware design and system verification.

» 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.

OpenHW Group

OneSpin is a proud member of the OpenHW Group, provider of the CORE-V series of RISC-V based open-source cores with associated processor subsystem IP, tools and software for electronic system designers.

» More Information


RISC-V Foundation

OneSpin is a proud member of the RISC-V Foundation, the open, collaborative community for RISC-V, the free and open RISC Instruction Set Architecture.

» 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 Systems Initiative

OneSpin is a proud member of the Accellera Systems Initiative standards organization, participating in various standards working groups and other activities.

 

» More Information


OneSpin is a proud sponsor of DVClub Europe

DVClub is a technically focused engineering group operating worldwide.

 

» More Information