sum0 _ (a0*b0 + ~a0*~b0) *cin + ~cin*(a0*~b0+ ~a0*b0) aux = a0*b0 + cin*a0 + cin*b0 sum1 _ (a1*b1 + ~a1*~b1) *aux + ~aux*(a1*~b1+ ~a1*b1) cout _ a1*b1 + aux*a1 + aux*b1 &ct _ Gen.CellTypeFromExpressions[RopeList.Cons[RopeList.Cons[RopeList.Cons[RopeList.Cons[NIL, "sum0 _ (a0*b0 + ~a0*~b0) *cin + ~cin*(a0*~b0+ ~a0*b0)"], "aux = a0*b0 + cin*a0 + cin*b0"], "sum1 _ (a1*b1 + ~a1*~b1) *aux + ~aux*(a1*~b1+ ~a1*b1)"], "cout _ a1*b1 + aux*a1 + aux*b1"]] CoreOps.Print[&ct] CoreProperties.PutCellTypeProp[&ct, $Layout, $SC] &obj _ PWCore.Layout[&ct] PW.Draw[&obj] BAdder2.txt Bertrand Serlet August 12, 1987 11:57:56 am PDT Κd˜™ Icode™/—Jšœ5˜5J˜Jšœ5˜5J˜J˜Jšœ—˜—Jšœ˜Jšœ1˜1Jšœ˜Jšœ ˜ J˜—…—2Ψ