We have generated a PLA by building the equations following the syntax for “eqntott”, and compiling/optimizing it with “eqntott” and “espresso” respectively, then running it through “mpla” . Here’s an example:

eqntott -r -l depcheck.eqn | espresso | mpla -s SCS3cisnew > depcheck.mag

This built for us an impressive PLA that passes our testing with flying colors! Click the thumbnail to view a larger image:

The file used to generate this MAGIC layout by the above process is as follows:
INORDER=
   a0
   a1
   a7
   b0
   b1
   b7
   r1aEQr1b
   r1aEQr2b
   r1aEQr3b
   r1bEQr2a
   r1bEQr3a
   m1aEQm1b
   currNEQlatent
   mindestEQ10000;
OUTORDER=
   DEP;
DEP=
     (!a0&a1&!a7&(b0|b1)&r1aEQr1b)|
     (!a0&a1&a7&(!b0&b1&!b7|b0)&r1aEQr1b)|
     (a0&(!b0&b1|b0)&r1aEQr1b)|
     (b0&(!a0&a1&!a7|a0)&(r1aEQr2b|(b1&r1aEQr3b)))|
     (!a0&a1&!b0&b1&m1aEQm1b&(a7 |(!a7&b7)))|
     (!b0&!b1&!a0&a1&a7&currNEQlatent)|
     ((b0|!b0&b1&!b7)&a0&r1bEQr2a)|
     ((b0|!b0&b1&!b7)&a0&a1&r1bEQr3a)|
     (!a0&!a1&a7)|
     (!b0&!b1&b7)|
     (!a0&!a1&!a7&mindestEQ10000)|
     (!a0&!a1&!a7&!b0&((b1&b7)|(!b1&!b7)));