blob: 085a24e75b05c0ca6ca6dd2d5c81a10a45bd0437 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
.TH MINTERM 10.5 UCDS
.SH NAME
minterm \- minterm file format
.SH DESCRIPTION
The
.I minterm
file format consists of at least one binary valued function
definition.
A function definition begins
.B .o
.I n ...
followed by line(s) that have the form
.IR term : mask
\&...
The first
.I n
following
.B .o
is a numeric symbol of the function
(usually an output pin number of a rom or pal integrated circuit).
Any other
.IR n 's
are numeric symbols of input binary variables.
.I Term
and
.I mask
are decimal numbers.
.PP
There is a correspondence between the bits of the numbers in binary
representation and the input symbols, the first input symbol
is associated with the least significant bit.
The meaning of a bit with value 1 in
.I mask
is `do care',
and the meaning of a bit with value 1 in
.I term
is `input must be 1'.
Thus the
.IR term : mask
is a implicant, and a set of them when
.IR or 'ed
together
describes the input conditions for which the output symbol will have
a value of 1.
.PP
For example:
.IP
.ft 8
.o 3 1 2
3:3
.o 4 1 2
1:3 2:3 3:3
.o 5 2 3
1:3 2:3
.o 11
.o 9
0:0
.ft
.PP
Output 3 is the
.I and
function of inputs 1 and 2;
output 4 is the
.I or
function of inputs 1 and 2
.RI ( quine (10.1)
would change this to 1:1 2:2);
output 5 is the
.I exclusive-or
function of inputs 2 and 3;
output 11 is a constant 0 and output 9 is
a constant 1.
.SH SEE ALSO
.IR lde (10.1),
.IR quine (10.1),
.IR cover (10.1),
.IR hazard (10.1),
.IR pal (10.1)
|
