You've exactly got it. Assemble those into a .jed, stick them on a PAL, GAL, or ATF of appropriate speed rating and plug it in.Been fiddling with this card again, now that I have my Hakko FR-301 I've been able to easily socket most of the chips.
I've discovered that if I remove either U42 (address decoder) or U38 (bus cycle control) the SE/30 will start up.
Validating this statement, I can get a start up if I lift both the /BERR and /HALT pins on U38, and Tattletech sees the card too.
I'd quite like to try replacments for those two GALs to see if one of them is malfunctioning. Since we have the equations in the technical handbook, would something like EQN2JED produce a valid Jedec file that I can use to flash a new chip?
You just need to identify what format that is in. It's not EQN2JED. Looks like CUPL to me.

