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