OKullmann/oklibrary — pull request #389 by MGwynne (2012-03-02 19:11:26+00:00)
Title: Pla

Branch: pla.

Correcting the specification of the PLA format. It specifies multiple partial boolean functions, not a finite function. This is due to the fact that individual output bits can be specified as "dont-care", i.e., undefined, while others can be specified.

Now also correcting the notation used for partial boolean functions and adding an explicit specification of what these partial boolean functions are.

Matthew