Excellent,
I am just doing another job at the moment, so will have a look when I get back home.
I am surprised about the pins marked as INACTIVE though. Perhaps you can look on the schematic for these pins? If they are actually wired up, they would look out of place.
Don't swap the devices until I have checked though...
EDIT: I had a very quick look. The INACTIVE pins are actually correct. Device F2 (74177) looks a bit suspect to me. Do you have any spare 74177 devices in your bits box?
I would still like to check a bit later before swapping the device though, as this state machine can be a little confusing...
Dave