https://cerkit.com/posts/reversible-binary-counter-on-the-mojo-fpga/