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