Short update to say that the project is not dead !
Progress is slow with life getting a bit in the way (and also #toomanyhobbies), but I'm still working on it.
I am still in the circuit design phase in Digital, currently working on three main tracks:
First, the CSRs and support for traps (Exceptions and Interrupts). Still not everything is entirely clear in my mind, but I feel I'm getting there.
Second, it looks like I have managed to build a 4-bit (for now) Radix4 Booth Multiplier with support for Signed and Unsigned operands. Sign is handled by simply expanding each operand to 6 bits, either with 0's to treat it as unsigned, or with the original sign bit to treat it as signed. It is expanded to 6 bits, not 5, because the Radix4 needs an even number of bits. I still have to expand it to 32x32 bits, and then see how I can integrate it in the pipeline. I'd also love to make it fuse pairs of MULH/MUL instructions so that the second instruction can just output the low 32 bits of the result computed previously!
In any case, this exercise definitely confirmed that I'm not good at converting state machines into actual circuits, this made me struggle quite a lot!
Finally, I have also started the long work of converting the whole design to something that looks more like actual available components in the 74 series, in preparation for the build. A good part of that is moving to buffers with an active low Enable signal, and that has repercussions in most of the logic because I don't want to just slap an inverter in front of it

I'm reworking some combinatorial logic clusters as well, since the [A]LVC family provides 3-input AND and NAND gates, but no 3-input OR or NOR gates, for instance.
I'd also like to build some test circuits soon (for very large values of soon, possibly) to test the speed of the Adder and the Magnitude Comparator I intend to build. My feeling is that the adder speed will have a non-negligible impact on the final clock speed.