For comparative simulation, I'm also assembling the logic of the earlier Macintosh 128K, and possibly also Macintosh Plus, in Verilog, and planning on doing MLB board-level simulations too.