As previously mentioned, I'm working on a redesign of tock-registers which focuses on soundness and unit-testability. My implementation is at
PR 11. At this point, I believe that the design is the correct path forward for tock-registers. I am looking for additional feedback on the design, so if you have not taken a look at it yet please do so.
I'm hoping that at next week's core WG call, we can
finalize the macro's name and make the decision to move forward with the design (at which point I will break it up into smaller non-draft PRs).