The age of simulation-driven design is here
Your design team faces an impossible task every day. How do they create new designs that won't fail without information on how they will perform? Watch this video to learn more about how simulation-driven design can help designers deliver products much faster.
Click the video to play
Related resources
How formal reduces fault analysis for ISO 26262
The ISO 26262 standard defines straightforward metrics for evaluating the “safeness” of a design by defining safety goals, safety mechanisms, and fault metrics. However, determining those metrics is difficult.
Using formal verification to check SoC connectivity correctness
Formal verification offers a solution that is quick, exhaustive and allows for efficient debug. It’s true that traditionally, chip-level formal verification is impractical.
How to avoid the pitfalls of mixing formal and simulation coverage
In this paper we will first review what these forms of coverage are telling the user and then discuss how to merge them together in a manner that accurately reports status and expected behaviors.