The RCA 1802 in Verilog