Smoke Testing a High-Level Synthesis Design
Designing hardware using C++ and C++ testbenches brings orders of magnitude speed-up to simulation. But after High-Level Synthesis (HLS), teams need a way to quickly ensure that the newly-generated RTL is functionally the same as the original untimed C++. They don’t want to create an RTL testbench in order to make this comparison. What teams need is an automated smoke test to quickly make the comparison with very little effort. This paper covers how SCVerify, part of the Catapult HLS Platform, provides teams with the ability to perform push-button smoke testing.
Related resources
It’s not my fault! How to run a better fault campaign using formal
This paper describes how to run a better ISO 26262 fault campaign using formal verification. The ISO 26262
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.
Achieving functional safety for autonomous vehicle SoC designs
This paper details the fundamental functional safety concepts for companies delivering silicon and systems into a rapidly evolving automotive ecosystem