Rtl Design Synthesis Using Cadence Genus