Better than drinking lead and breathing silane; not Verilog but JSSim based? I mean, is this something I should throw a solver at for a Buff My Game Vortal compo? Maybe there's a microelectronic comedy of errors written in D or Rust to be had in it, as multiwatt instructions are used in moderation and ROM interface glitches snowball just as a 4-byte cache comes into use? A lifecycle tool for the haughtier ARM64 74-core program teams making 28-year constant hardware projections?
I believe the transistor-level simulation came from these images:
http://www.visual6502.org/images/pages/Atari_10444D_TIA.html
There are gate-level schematics for the TIA too:
https://atariage.com/2600/archives/schematics_tia/index.html