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 hardware Trojans and vulnerabilities to adversary attacks… »more
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.
Automotive and Industrial
Systematic bug elimination and metrics on proper handling of random errors in the field… »more
Automotive and Industrial
OneSpin’s Automotive and Industrial Solution ensures that designs fully conform to relevant safety standards, including elimination of systematic bugs and metrics for resistance to random errors.
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 TÜV SÜD 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 TÜV SÜD, 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.