Search found 1 match

by ecst
Sat Jun 27, 2009 11:09 am
Forum: NESdev
Topic: Formal specification of (certain components of) the NES
Replies: 4
Views: 3004

Formal specification of (certain components of) the NES

Has anyone ever created a formal specification of the approximate behaviour of some of the components of the NES (in whatever specification language or logical calculus)? In contrast to other consoles like the SNES, the NES being powered by a single clock source would mean this being more easily fea...