Achieving RTL-To-Netlist Equivalence

Why linting is the only way to find and fix simulation-to-synthesis mismatches.

popularity

Running quality tests and regression at RTL level, and even fixing all discovered design bugs does not guarantee the flawless hardware design. To make sure there are no bugs in the target hardware, there is a need to ensure flawless transformation of RTL code to the technology-dependent netlist. This in turns sets the requirements for the “design-for-implementation” coding, where designers intentionally limit the scope of usable coding means and apply special coding styles to mitigate the risk of introducing functional mismatches between the source RTL code and actual physical design. The following paper discusses the best coding practices as well as the correct usage of the Electronic Design Automation (EDA) tools for the “design-for-implementation” purpose.

To read more, click here.



Leave a Reply