|
1.
| There can be at most 10 output variables. |
|
2.
| Given n outputs, there can be at most 22-n input variables. |
|
3.
| There are no local variables (exception: tri-state outputs, see below). |
|
4.
| All assignments for the outputs must have one of the following forms,
where F(x) stands for an expression of input and output variables.
We recommend to use disjunctive normal form for F.
y := F(x)
y := ~F(x)
y := REG(F(x))
y := ~REG(F(x))
|
|
5.
| The number of terms in each expression is limited
according to the resources of the device. |