OKullmann/oklibrary — pull request #388 by MGwynne (2012-03-02 11:51:45+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.

Matthew