Drot.install
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Bertrand Serlet September 21, 1987 12:04:37 pm PDT
Csaba Gabor August 12, 1987 4:29:07 pm PDT
Install CellLibraries Combinatorial
Run DrotBoolImpl DrotCoverImpl DrotImpl
Run TestCombinatorial
← TestCombinatorial.FixLibrary["inv", "~I"]
← TestCombinatorial.FixLibrary["nand2", "~(I-A * I-B)"]
← TestCombinatorial.FixLibrary["and2", "I-A * I-B"]
← TestCombinatorial.FixLibrary["nor2", "~(I-A + I-B)"]
← TestCombinatorial.FixLibrary["or2", "I-A + I-B"]
← TestCombinatorial.FixLibrary["xnor2", "~I-A*~I-B+I-A*I-B"]
← TestCombinatorial.FixLibrary["xor2", "I-A*~I-B+~I-A*I-B"]
← TestCombinatorial.FixLibrary["xnor2", "~xor2(I-A, I-B)"]
← TestCombinatorial.FixLibrary["xor2", "xor2(I-A, I-B)"]
← TestCombinatorial.FixLibrary["nand3", "~(I-A * I-B * I-C)"]
← TestCombinatorial.FixLibrary["and3", "I-A * I-B * I-C"]
← TestCombinatorial.FixLibrary["nor3", "~(I-A + I-B + I-C)"]
← TestCombinatorial.FixLibrary["or3", "I-A + I-B + I-C"]
← TestCombinatorial.FixLibrary["a21o2i", "~(A*B+C)"]
← TestCombinatorial.FixLibrary["nand4", "~(I-A * I-B * I-C * I-D)"]
← TestCombinatorial.FixLibrary["nor4", "~(I-A + I-B + I-C + I-D)"]
← TestCombinatorial.FixLibrary["and4", "I-A * I-B * I-C * I-D"]
← TestCombinatorial.FixLibrary["or4", "I-A + I-B + I-C + I-D"]
← TestCombinatorial.FixLibrary["a22o2i", "~(A*B+C*D)"]
← TestCombinatorial.FixLibrary["o22a2i", "~((A+B)*(C+D))"]