UPDATED Logic Design And Verification Using SystemVerilog (Revised) Donald Thomas