NavabiVerilogDigitalSystemDesignsecondedition