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["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))"] $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 _ TestCombinatorial.FixLibrary["xnor2", "~xor2(I-A, I-B)"] _ TestCombinatorial.FixLibrary["xor2", "xor2(I-A, I-B)"] ÊÒ˜šœ ™ Icode™˜>Kšœ6˜6Kšœ:˜:J˜J˜—…—|r