VHDL processes, resets, and rising edges(p-code.org)

https://www.p-code.org/blog/resets_rising_edges.html