Harden
Harden is the fancy industry word that means to take your HDL and using a tool like OpenLane turn it into the GDS2 files necessary for manufacture by a foundry.
Course feedback
Having the formal verification part additionally felt nice, that I could have something that I know is going to be functional instead of just guessing for a long time and then looking at waveforms and then not knowing what hell I'm doing!