Clue Technologies Adopts OneSpin's Coverage-Driven Assertion-Based Verification Solution

OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, announced that Clue Technologies has adopted OneSpin´s advanced coverage-driven assertion-based verification solution to enable implementation of critical safety flows that will allow Clue Technologies to sell their safety-certified intelligent computing systems to aircraft manufacturers, the company said.

Clue´s intelligent computing systems will be used in avionics to deliver high-performance video processing, high density storage, and multipoint hub for intensive data concentration.

Aircraft electronic systems are becoming increasingly automated to more rigorous safety measures to avoid catastrophe and loss of lives. Individual components must meet strict DO-254 (Design Assurance Guidance for Airborne Electronic Hardware) safety requirements. 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.

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.

OneSpin Solutions is a provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits. These solutions are based on OneSpin´s widely used formal verification technology and assure the integrity of SoCs, ASICs and FPGAs. Headquartered in Munich, Germany, OneSpin partners with leaders worldwide. Visit www.OneSpin.com to learn more.