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
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
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.
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.
“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.”
Test and Verification Solutions
“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.”
Contemporary Verification Consultants
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.
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.
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.
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.
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.
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.