OneSpin Solutions is a provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, and Clue Technologies has adopted its advanced coverage-driven assertion-based verification solution to enable implementation of critical safety flows for its intelligent computing systems.
Clue’s systems will be used in avionics to deliver high-performance video processing, high density storage, and multipoint hub for intensive data concentration.
With aircraft electronic systems becoming more automated it is leading to more rigorous safety measures and individual components must meet strict DO-254 (Design Assurance Guidance for Airborne Electronic Hardware) safety requirements. As a result, more productive and effective methods for reaching DO-254 are needed to keep up with the increasing demand for avionics computation technology that aids in more efficient aviation automation.
“Many of our customers are leading the innovation that has or will have a critical impact on how electronics operate and the safety of those devices,” said Raik Brinkmann, OneSpin President and CEO. “Clue’s adoption of our verification solution based on formal technology will give them confidence that their designs function as intended and are safe to be used in today’s aircraft.”
Clue will use the OneSpin 360 DV-Verify coverage-driven assertion-based verification to augment its verification environment and enable the discovery of bugs that have eluded the company’s simulation-only flow. OneSpin’s DV-Verify will be used early on in the verification flow to achieve convergence earlier and reach DO-254 certification. One of the many capabilities of OneSpin’s DV-Verify is its Quantify App that will allow for the precise measure of verification progress that will lead to faster sign-off and greater confidence of zero bug escapes, which is essential to meeting DO-254 certification.
“At Clue, our ultimate goal is to help produce safer and more efficient aircraft and provide the highest quality computing systems to make that happen,” said Ignacio Fernández Montes, CEO at Clue Technologies. “To meet that goal, we must continually meet the highest safety standard in avionics. We are excited to have partnered with OneSpin on this endeavour. Their technology will allow us to exhaustively verify our state-of-the-art designs beyond what simulation alone can provide.”
OneSpin 360 DV-Verify
- 360 DV-Verify ensures that complete verification of the design can take place to assure the design behaves as intended and does not do anything it isn’t supposed to do.
- DV-Verify may be utilized in multiple stages of the design verification flow.
- OneSpin 360 DV-Verify is the only coverage-driven assertion-based verification system available today that comes complete with a full app library for multiple use models.
DV-Verify allows the following:
- Agile Design Exploration: early validation of design operations without writing stimulus for quick design iterations
- Metric-Driven Assertion-Based Verification (ABV): comprehensive assertion-based verification with unique observation coverage
- Quantify Fault Observation Coverage: effective measure of verification progress and coverage improvement
- Block Integration Validation: scalable integration verification and functional analysis using automated flows
