www.logiccircuit.org

I also wanted to do that. I'm working on project with a goal quite opposite of "easier to understand the design, avoid and find errors". I wanted to show the complexity of circuits, and tried to do (at least for the first step) an 8-bit ALU with only NAND gates (and tri-state), all in one ...