File:  [Research Unix] / researchv10dc / man / man10 / minterm.10.5
Revision 1.1.1.1 (vendor branch): download - view: text, annotated - select for diffs
Tue Apr 24 17:21:34 2018 UTC (8 years, 1 month ago) by root
Branches: belllabs, MAIN
CVS tags: researchv10, HEAD
researchv10 Dan Cross

.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)

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.