Systems & Design

Formally Ensuring Equivalence Between C++ And RTL Designs

How to quickly determine design equivalence without testbenches or simulation runs.


Moving untimed C++ design descriptions through a High-Level Synthesis (HLS) flow, designers wonder if the generated, timed RTL is functionally equivalent to the original, high-level description. When they make refinements or optimize RTL for power, they naturally are concerned that these changes no longer meet their original specifications. They could create testbenches and run verification at every step of the flow, but that takes too much time and can wreck a production schedule. What designers really need is a way to quickly determine design equivalence without the need for testbenches and simulation runs. That is where formal, sequential logic equivalent checking, SLEC HLS comes to the rescue. In this white paper, learn why SLEC HLS is a vital piece of the Catapult verification flow, how it works, and why the tool is unique in the marketplace.

To read more, click here.

Leave a Reply

(Note: This name will be displayed publicly)