Brilliant to get this done all the way through. Once you introduce a HDL and start optimizing, I would expect more than half of the transistors to be redundant

Brilliant to get this done all the way through. Once you introduce a HDL and start optimizing, I would expect more than half of the transistors to be redundant. But you would end up with a circuit that you will not understand any more.. But that could give an important lesson in chip design and HDL compilers.