SystemVerilog for Hardware Description: RTL Design and Verification