A Tutorial on Design of Datapath and Controller of an ALU using Verilog and Verification using Open Source EDA Tools | IEEE Conference Publication | IEEE Xplore