Checkpoint: implement basic pipeline in RTL