Transistor level emulation

[zeroone]

To have a truly accurate emulator, we need to formally prove its correctness in respect to Visual2A03/2C02.

Did you create a user by that name for this purpose?

[provably]

To have a truly accurate emulator, we need to formally prove its correctness in respect to Visual2A03/2C02.

Did you create a user by that name for this purpose?

This is not the project I currently have, but my project is similar: I want to derive a provably shortest walkthrough of Super Mario Bros. (There is possibility I might do former in future, though it looks just too hard.)

[Dwedit]

So replay Happylee's TAS?

[provably]

So replay Happylee's TAS?

there isn't proof for it