Well http://www.visual6502.org/ has the visual sim for the 6502 but also the 6800 and the ARM-1. I guess that means the full netlist for those two must be done too? If so I guess it'd be possible to do them in this way. Though I don't think they have the same obsessive fan audience that the 6502 has.

It sounds like the process of analyzing the Z80 in a similar way is starting: http://www.visual6502.org/wiki/index.php?title=Z8400