close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

In the news


OneSpin in formal areas where Cadence is NOT is Best of 2019 #5c

Deepchip.com logo

CARVING OUT NEW NICHES: At DAC 2019, I gave Raik Brinkmann a hard time about
his OneSpin tools missing in action in my 2018 survey.  His comeback was:
      
And sure enough, here's the users this year commenting on each of these
specialized 4 OneSpin apps.  (It's common for formal tools to be sold as
an "app" instead of a standalone SW package.)

        ----    ----    ----    ----    ----    ----    ----
        ----    ----    ----    ----    ----    ----    ----
        ----    ----    ----    ----    ----    ----    ----

      QUESTION ASKED:

        Q: "What were the 3 or 4 most INTERESTING specific EDA tools
            you've seen this year?  WHY did they interest you?"

        ----    ----    ----    ----    ----    ----    ----
 

Read more

OneSpin DV-Verify's surprise comeback in ABV is Best of 2019 #5a

DeepChip.com

ONESPIN'S SURPRISE COMEBACK: In the "Best of 2018", last year OneSpin was
amazingly weak.  Users wrote 4,988 words about ABV tools in 2018; and only
a measily 59 words were about *anything* OneSpin.  (Talk about weak! Ouch!)
        
But now, for "Best of 2019", OneSpin got ~3,000 users words on the OneSpin
vs. JasperGold wars covered here and in DAC'19 #5b -- plus ~1,400 more user
words OneSpin's other tools. (See DAC'19 5c.)  Talk about a comeback!

        ----    ----    ----    ----    ----    ----    ----

WHERE ONESPIN WINS: The 3 areas where users gave OneSpin high marks were
assertion observation coverage, speed, and safety (fault injection).
                
  1. Assertion Observation Coverage

    "OneSpin's Quantify app uses the 'mutation' method.  The mutation
     method injects a forced logic state on each individual signal,
     then evaluates if the assertion passes or fails.  This gives you
     100% coverage. ... JasperGold's Cone of Influence (COI) coverage
     method is less comprehensive than mutation."

  2. Speed

    "OneSpin is better than JasperGold for complex properties.  For
     example, to prove a complex property on one design we verified,
     OneSpin took 2 hours, JasperGold took 20 hours   However, it
     is difficult to generalize these results from a few designs."

  3. Fault Injection

    "With fault injection, to ensure your design won't let catastrophic
     failures occur, Faults are deliberately injected.  OneSpin has a
     fault injection capability in their core tool.  Cadence does not
     include fault injection in their core tool -- it's an add-on."

        ----    ----    ----    ----    ----    ----    ----

WHERE JASPER WINS: From the user comments, JasperGold has this amazing debug
capabilty that's intuitive -- while OneSpin is seen as basic at best:

    "OneSpin's user interface is a bit old-fashioned."

    "It's debugging complex counter examples is painful within the GUI."

    "OneSpin's debugger takes some getting used to."

    "Their code debugging is "ugh"."

But beyond this GUI drawback, OneSpin has some killer capabilities.

Read more


Compliant with the norm [German]

Elektronik Informationen logo

Automated fault analysis. Especially smaller and early-stage companies in automotive electronics are facing difficulties in raising the costs and experts for the formal approval process. A new procedure helps here, which automatically determines the safety metrics according to ISO 26262.

Read more

The MCU Dilemma

Semiconductor Engineering logo

By Brian Bailey, Semiconductor Engineering

Microcontroller vendors are breaking out of the box that has constrained them for years. Will new memory types and RISC-V enable the next round of changes?

Read more


Uses, Limits And Questions For FPGAs In Autos

Semiconductor Engineering logo

By Ann Steffora-Mutschler, Semiconductor Engineering

Programmable logic in automotive applications is essential, given the parade of almost constant updates and shifts in direction, but exactly where the technology will be used has become a moving target.

Read more

Press Contact

Michelle Clancy
» send an e-mail
» +1 503-702-4732