Carpinelli's RS-CPU : ALU Design How do we get from the RTL to this?