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

(def-module aoi--222 power 17 area 1.6 gates 6

	(def-pin a1   type input  load 0.13)
	(def-pin a2   type input  load 0.12)
	(def-pin b1   type input  load 0.12)
	(def-pin b2   type input  load 0.12)
	(def-pin c1   type input  load 0.12)
	(def-pin c2   type input  load 0.13)
	(def-pin nout type output load 0.087)

	(def-symbol AOI222 a1 a2 b1 b2 c1 c2 nout)

	(def-function  ^nout (or (and a1 a2) (and b1 b2) (and c1 c2)))

	(def-delay /a1 /nout (+ 0.83 (* 1.8 ~nout)))
	(def-delay /a2 /nout (+ 0.83 (* 1.8 ~nout)))
	(def-delay /b1 /nout (+ 0.92 (* 1.8 ~nout)))
	(def-delay /b2 /nout (+ 0.92 (* 1.8 ~nout)))
	(def-delay /c1 /nout (+ 0.97 (* 1.8 ~nout)))
	(def-delay /c2 /nout (+ 0.97 (* 1.8 ~nout)))
	(def-delay %a1 %nout (+ 0.83 (* 1.8 ~nout)))
	(def-delay %a2 %nout (+ 0.83 (* 1.8 ~nout)))
	(def-delay %b1 %nout (+ 0.92 (* 1.8 ~nout)))
	(def-delay %b2 %nout (+ 0.92 (* 1.8 ~nout)))
	(def-delay %c1 %nout (+ 0.97 (* 1.8 ~nout)))
	(def-delay %c2 %nout (+ 0.97 (* 1.8 ~nout)))

	(def-constraint drive (- 0 ~nout) type max)
)
