seems to work, i think we should write the shift register so we can do the...

seems to work, i think we should write the shift register so we can do the proof against the golden model (which uses a nonsynthesizable RAM)