Advanced IC Integrity Verification Solutions to Develop Functionally Correct, Safe, Secure, and Trusted Integrated Circuits
OneSpin provides the most advanced and robust verification platform to address today's critical IC integrity issues. Our experts are dedicated to solving the toughest next-generation verification challenges and providing solutions that enable design teams to create SoCs that are functionally correct, safe, secure, and trusted.
IC Integrity Solutions
Rigorous coverage-driven functional verification from block to chip, leveraging formal technology… »more
OneSpin’s Functional Correctness Solution provides agile, closed-loop block-level functional verification, ensures proper integration and connectivity of blocks, and detects any functional errors introduced during synthesis and place-and-route.
Safety analysis and higher diagnostic coverage to meet strict certification requirements… »more
OneSpin’s Safety Solution ensures that safety-critical designs will meet the coverage and certification requirements of industry standards such as ISO 26262 for automobiles and DO-254 for aircraft.
Trust and Security
Automated detection of RTL Trojans and hardware vulnerabilities to adversary attacks… »more
Trust and Security
OneSpin’s Trust and Security Solution checks designs for both deliberate and unintended hardware vulnerabilities that could facilitate adversary attacks and compromise security in real-world scenarios.
Vertical Market Solutions
Thorough verification of complex SoC platforms used for 5G wireless, IoT, and AI applications… »more
OneSpin’s Heterogeneous Computing Solution verifies large chips containing programmable logic, software-configurable engines, processing subsystems, and the complex connections among them.
Predictable path to ISO 26262 compliance with minimal fault simulation… »more
OneSpin Automated FMEDA Solution enables rigorous, efficient and standard-compliant development of ASICs, FPGAs, and SoCs designs for autonomous vehicles, ADAS, nuclear power plants, and other safety-critical applications.
Proof of compliance to instruction set architecture (ISA) with no gaps or inconsistencies… »more
OneSpin’s RISC-V Solution provides both IP core suppliers and customers assurance that designs are fully compliant to the ISA specification and any extensions, with no hardware vulnerabilities.
Meeting Safety Standards in Development
The internationally-recognized testing body TUV SUD successfully completed a series of factory inspections and audits of Onespin’s organization and tool development processes. This conformance level enables OneSpin to provide certified formal verification solutions meeting tool qualification requirements set by functional safety standards (ISO 26262, IEC 61508, and EN 50128). As a result, OneSpin's formal tools and solutions can be applied by customers up to the highest safety integrity levels (ASIL D and SIL 3). OneSpin offers Tool Qualification Kits for individual products based on certification from TUV SUD, removing the burden of tool qualification from users.
Get Started with OneSpin Solutions!
Our solutions are augmented through direct and distribution support teams worldwide, to ensure that the return on investment is maximized as rapidly as possible after a solution acquisition. We offer a variety of customer support and service options including directed services through the company’s expert Application Engineering team. We maintain the “Spinnaker” services partnership program, through which a community of expert verification consultants worldwide has been certified on the OneSpin tool suite.