psurply / ReGAL

A set of scripts used to assist reverse engineering of old-school Programmable Array Logic devices.
MIT License
67 stars 7 forks source link

tt2v crashing when using more than 10 inputs. #2

Closed thetechknight closed 4 years ago

thetechknight commented 5 years ago

I dumped a PAL that has 12 inputs. Everything with 10 inputs or less always works great. But, the minute I ran the attached file through, it crashes.

any ideas? U67_truth.zip

psurply commented 4 years ago

I just tried the example that you attached: it looks like the crash is due to the fact that q0 is asserted only when all the inputs are zeros which is a corner case that quine_mccluskey doesn't seem to handle properly. It isn't related to the number of inputs.

assign q0 =
  (~EN & ~All & ~A10 & ~A9 & ~A8 & ~A7 & ~A6 & ~A5 & ~A4 & ~A3 & ~A2 & ~A1)
;