[_CD4_]<dragon7.0>Drot>adder2.txt!1

Adder2.txt

Bertrand Serlet August 12, 1987 11:57:56 am PDT

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]