;*************************************************** ;* (C)Copyright by NTT DATA Corp.1994(unpublished) * ;* All rights are reserved. * ;*************************************************** (def-module nd3_i2 power 6.8 area 1.0 gates 4 (def-pin a1 type input load 0.31) (def-pin a2 type input load 0.31) (def-pin zn type output load 0.21) (def-symbol NAND a1 a2 zn) (def-function ^zn (and a1 a2)) (def-delay /a1 /zn (+ 0.15 (* 0.59 ~zn))) (def-delay /a2 /zn (+ 0.15 (* 0.59 ~zn))) (def-delay %a1 %zn (+ 0.15 (* 0.59 ~zn))) (def-delay %a2 %zn (+ 0.15 (* 0.59 ~zn))) (def-constraint drive (- 3.4 ~zn) type max) (def-constraint drive (- ~zn 0) type min) )