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

(def-module ao_i211 power 12  area 0.98 gates 4
  
    (def-pin a1 type input load 0.12)
    (def-pin a2 type input load 0.12)
    (def-pin b type input load 0.12)
    (def-pin c type input load 0.12)
    (def-pin zn type output load 0.070)

    (def-symbol AOI211 a1 a2 b c zn)

    (def-function ^zn (or (and a1 a2) b c))

    (def-delay /a1 /zn (+ 0.81 (* 1.7 ~zn)))
    (def-delay /a2 /zn (+ 0.82 (* 1.7 ~zn)))
    (def-delay /b  /zn (+ 0.99 (* 1.7 ~zn)))
    (def-delay /c  /zn (+ 0.91 (* 1.7 ~zn)))

    (def-delay %a1 %zn (+ 0.81 (* 1.7 ~zn)))
    (def-delay %a2 %zn (+ 0.82 (* 1.7 ~zn)))
    (def-delay %b  %zn (+ 0.99 (* 1.7 ~zn)))
    (def-delay %c  %zn (+ 0.91 (* 1.7 ~zn)))

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