Reto Zimmermann
Synopsys

This document summarizes two classes of RTL coding guidelines for the synthesis of datapaths: guidelines that help achieve functional correctness and intended behavior of arithmetic expressions in RTL code and guidelines that help datapath synthesis to achieve best possible QoR (Quality of Results).