;***************************************************
;* (C)Copyright by NTT DATA Corp.1994(unpublished) *
;*                        All rights are reserved. *
;***************************************************

(def-module nd3_i5 power 24 area 2.2 gates 10
  
    (def-pin a1 type input load 0.23)
    (def-pin a2 type input load 0.23)
    (def-pin a3 type input load 0.23)
    (def-pin a4 type input load 0.23)
    (def-pin a5 type input load 0.23)
    (def-pin zn type output load 0.12)

    (def-symbol NAND a1 a2 a3 a4 a5 zn)

    (def-function ^zn (and a1 a2 a3 a4 a5))

    (def-delay /a1 /zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay /a2 /zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay /a3 /zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay /a4 /zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay /a5 /zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay %a1 %zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay %a2 %zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay %a3 %zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay %a4 %zn (+ 1.4 (* 0.62 ~zn)))
    (def-delay %a5 %zn (+ 1.4 (* 0.62 ~zn)))

	(def-constraint drive (- 3.2 ~zn) type max)
	(def-constraint drive (- ~zn 0) type min)
)
