;*************************************************** ;* (C)Copyright by NTT DATA Corp.1994(unpublished) * ;* All rights are reserved. * ;*************************************************** (def-module ao_i33 power 14 area 1.2 gates 5 (def-pin a1 type input load 0.12) (def-pin a2 type input load 0.12) (def-pin a3 type input load 0.12) (def-pin b1 type input load 0.12) (def-pin b2 type input load 0.12) (def-pin b3 type input load 0.12) (def-pin zn type output load 0.071) (def-symbol AOI33 a1 a2 a3 b1 b2 b3 zn) (def-function ^zn (or (and a1 a2 a3) (and b1 b2 b3))) (def-delay /a1 /zn (+ 0.89 (* 1.7 ~zn))) (def-delay /a2 /zn (+ 1.0 (* 1.7 ~zn))) (def-delay /a3 /zn (+ 1.0 (* 1.7 ~zn))) (def-delay /b1 /zn (+ 0.90 (* 1.7 ~zn))) (def-delay /b2 /zn (+ 1.0 (* 1.7 ~zn))) (def-delay /b3 /zn (+ 1.0 (* 1.7 ~zn))) (def-delay %a1 %zn (+ 0.89 (* 1.7 ~zn))) (def-delay %a2 %zn (+ 1.0 (* 1.7 ~zn))) (def-delay %a3 %zn (+ 1.0 (* 1.7 ~zn))) (def-delay %b1 %zn (+ 0.90 (* 1.7 ~zn))) (def-delay %b2 %zn (+ 1.0 (* 1.7 ~zn))) (def-delay %b3 %zn (+ 1.0 (* 1.7 ~zn))) (def-constraint drive (- 1.2 ~zn) type max) (def-constraint drive (- ~zn 0) type min) )