Transistor level emulation

Discuss emulation of the Nintendo Entertainment System and Famicom.

Moderator: Moderators

User avatar
zeroone
Posts: 932
Joined: Mon Dec 29, 2014 1:46 pm
Location: New York, NY
Contact:

Re: Transistor level emulation

Post by zeroone » Thu Dec 31, 2015 8:30 am

provably wrote: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
Posts: 10
Joined: Tue Dec 15, 2015 3:50 am

Re: Transistor level emulation

Post by provably » Fri Jan 01, 2016 10:02 pm

zeroone wrote:
provably wrote: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.)

User avatar
Dwedit
Posts: 4328
Joined: Fri Nov 19, 2004 7:35 pm
Contact:

Re: Transistor level emulation

Post by Dwedit » Fri Jan 01, 2016 10:23 pm

So replay Happylee's TAS?
Here come the fortune cookies! Here come the fortune cookies! They're wearing paper hats!

provably
Posts: 10
Joined: Tue Dec 15, 2015 3:50 am

Re: Transistor level emulation

Post by provably » Fri Jan 01, 2016 11:29 pm

Dwedit wrote:So replay Happylee's TAS?
there isn't proof for it

Post Reply