The problem is thst most of the logic is in HAL chips
(Hard Array
Logic -- mask programmed gate arrays with the saem architecture as a
PAL). And AFAIK there's no way to read out the 'fuse map' from a HAL
(certainly I've never managed it). So I don't have the logic
equations, which makes troubleshooting, and indeed repair, a little
hard.
I don't know PAL/HAL chips, but if you have reason to think the circuit
is combinatorial, it's easy enough to just exhaustively probe its truth
table, and once you have that, you don't care how it's built up in
terms of gates (except, I suppose, for cases where delay times and
output glitches matter).
Of course, if it's *not* combinatorial, it gets more interesting. And
I suppose all the interesting stuff isn't....
/~\ The ASCII der Mouse
\ / Ribbon Campaign
X Against HTML mouse at rodents.montreal.qc.ca
/ \ Email! 7D C8 61 52 5D E7 2D 39 4E F1 31 3E E8 B3 27 4B