fulladd2.edf

表决器,实现7人表决. 使用max+plus3编写. 使用简单方便.

(edif EDIFFILENAME (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 1994 7 28 21 8 25)
      (author "Mentor Graphics Corporation")
      (program "ENWRITE" (version "v8.2_3.43_7"))
    )
  )
  (library (rename &_36_MGC_LSLIB "$MGC_LSLIB")
    (edifLevel 0)
    (technology
      (numberDefinition
        (scale 1 (e 1 -6) (unit distance)))
    )
    (cell (rename &74ls08 "74ls08") (cellType generic)
      (view (rename MG_STD_46_POS "MG_STD.POS") (viewType netlist)
        (interface
          (port I0 (direction INPUT)
            (property fpin_no_sci (number 2))
            (property pin (string "I0"))
            (property pin_no (number 1))
            (property pintype (string "IN"))
          )
          (port I1 (direction INPUT)
            (property fpin_no_sci (number 3))
            (property pin (string "I1"))
            (property pin_no (number 2))
            (property pintype (string "IN"))
          )
          (port OUT (direction OUTPUT)
            (property drive (string "SSS"))
            (property fall (miNoMax (mnm 5 10 20)))
            (property fpin_no_sci (number 1))
            (property pin (string "OUT"))
            (property pin_no (number 3))
            (property pintype (string "OUT"))
            (property rise (miNoMax (mnm 4 8 15)))
          )
          (property brd_loc (string ""))
          (property comp (string "74LS08"))
          (property func (string "S"))
          (property geom (string ""))
          (property inst (string ""))
          (property logic (string "POS"))
          (property mgc_ref (string ""))
          (property model (string "AND"))
          (property part_no (string ""))
          (property pow_typ (string ""))
          (property type (string "MG_STD"))
        )
      )
    )
    (cell (rename &74ls32 "74ls32") (cellType generic)
      (view OLD (viewType netlist)
        (interface
          (port I0 (direction INPUT)
            (property fpin_no_sci (number 2))
            (property pin (string "I0"))
            (property pin_no (number 1))
            (property pintype (string "IN"))
          )
          (port I1 (direction INPUT)
            (property fpin_no_sci (number 3))
            (property pin (string "I1"))
            (property pin_no (number 2))
            (property pintype (string "IN"))
          )
          (port OUT (direction OUTPUT)
            (property drive (string "SSS"))
            (property fall (miNoMax (mnm 7 14 22)))
            (property fpin_no_sci (number 1))
            (property pin (string "OUT"))
            (property pin_no (number 3))
            (property pintype (string "OUT"))
            (property rise (miNoMax (mnm 7 14 22)))
          )
          (property brd_loc (string ""))
          (property comp (string "74LS32"))
          (property func (string "S"))
          (property geom (string ""))
          (property inst (string ""))
          (property mgc_ref (string ""))
          (property model (string "OR"))
          (property part_no (string ""))
          (property pow_typ (string ""))
          (property type (string "OLD"))
        )
      )
    )
    (cell (rename &74ls74a "74ls74a") (cellType generic)
      (view MG_STD (viewType netlist)
        (interface
          (port CLK (direction INPUT)
            (property fpin_no_sci (number 6))
            (property pin (string "CLK"))
            (property pin_no (number 3))
            (property pintype (string "IN"))
          )
          (port D (direction INPUT)
            (property fpin_no_sci (number 3))
            (property pin (string "D"))
            (property pin_no (number 2))
            (property pintype (string "IN"))
          )
          (port Q (direction OUTPUT)
            (property fpin_no_sci (number 1))
            (property pin (string "Q"))
            (property pin_no (number 5))
            (property pintype (string "OUT"))
          )
          (port (rename &_CLR "_CLR") (direction INPUT)
            (property fpin_no_sci (number 5))
            (property pin (string "_CLR"))
            (property pin_no (number 1))
            (property pintype (string "IN"))
          )
          (port (rename &_PRE "_PRE") (direction INPUT)
            (property fpin_no_sci (number 4))
            (property pin (string "_PRE"))
            (property pin_no (number 4))
            (property pintype (string "IN"))
          )
          (port (rename &_Q "_Q") (direction OUTPUT)
            (property fpin_no_sci (number 2))
            (property pin (string "_Q"))
            (property pin_no (number 6))
            (property pintype (string "OUT"))
          )
          (property (rename &__qp_prim "__qp_prim") (string "TRUE"))
          (property brd_loc (string ""))
          (property comp (string "74LS74A"))
          (property func (string "S"))
          (property geom (string ""))
          (property inst (string ""))
          (property mgc_ref (string ""))
          (property model (string "$G5"))
          (property part_no (string ""))
          (property pow_typ (string ""))
          (property type (string "MG_STD"))
        )
      )
    )
    (cell (rename &74ls86 "74ls86") (cellType generic)
      (view (rename MG_STD_46_POS "MG_STD.POS") (viewType netlist)
        (interface
          (port I0 (direction INPUT)
            (property fpin_no_sci (number 2))
            (property pin (string "I0"))
            (property pin_no (number 1))
            (property pintype (string "IN"))
          )
          (port I1 (direction INPUT)
            (property fpin_no_sci (number 3))
            (property pin (string "I1"))
            (property pin_no (number 2))
            (property pintype (string "IN"))
          )
          (port OUT (direction OUTPUT)
            (property fpin_no_sci (number 1))
            (property pin (string "OUT"))
            (property pin_no (number 3))
            (property pintype (string "OUT"))
          )
          (property (rename &__qp_prim "__qp_prim") (string "TRUE"))
          (property brd_loc (string ""))
          (property comp (string "74LS86"))
          (property func (string "S"))
          (property geom (string ""))
          (property inst (string ""))
          (property logic (string "POS"))
          (property mgc_ref (string ""))
          (property model (string "$G5"))
          (property part_no (string ""))
          (property pow_typ (string ""))
          (property type (string "MG_STD"))
        )
      )
    )
  )
  (library (rename &_36_MAX2_EXAMPLES_47_example3 "$MAX2_EXAMPLES/example3")
    (edifLevel 0)
    (technology
      (numberDefinition
        (scale 1 (e 1 -6) (unit distance)))
    )
    (cell decode (cellType generic)
      (view decode (viewType netlist)
        (interface
          (port A (direction INPUT)
            (property pin (string "A"))
            (property pintype (string "IN"))
          )
          (port B (direction INPUT)
            (property pin (string "B"))
            (property pintype (string "IN"))
          )
          (port C (direction INPUT)
            (property pin (string "C"))
            (property pintype (string "IN"))
          )
          (port CLOCK (direction INPUT)
            (property pin (string "CLOCK"))
            (property pintype (string "IN"))
          )
          (port D (direction INPUT)
            (property pin (string "D"))
            (property pintype (string "IN"))
          )
          (port OUT1 (direction OUTPUT)
            (property pin (string "OUT1"))
            (property pintype (string "OUT"))
          )
          (port OUT1L (direction OUTPUT)
            (property pin (string "OUT1L"))
            (property pintype (string "OUT"))
          )
          (port OUT2 (direction OUTPUT)
            (property pin (string "OUT2"))
            (property pintype (string "OUT"))
          )
          (property comp (string "DECODE"))
        )
      )
    )
    (cell fulladd2 (cellType generic)
      (view schematic (viewType netlist)
        (interface
          (port A (direction INPUT)
            (property pintype (string "IN"))
          )
          (port B (direction INPUT)
            (property pintype (string "IN"))
          )
          (port C (direction INPUT)
            (property pintype (string "IN"))
          )
          (port CIN (direction INPUT)
            (property pintype (string "IN"))
          )
          (port CLOCK (direction INPUT)
            (property pintype (string "IN"))
          )
          (port COUT (direction OUTPUT)
            (property pintype (string "OUT"))
          )
          (port D (direction INPUT)
            (property pintype (string "IN"))
          )
          (port LATCHSUM (direction OUTPUT)
            (property pintype (string "OUT"))
          )
          (port OUT1 (direction OUTPUT)
            (property pintype (string "OUT"))
          )
          (port OUT1LATCH (direction OUTPUT)
            (property pintype (string "OUT"))
          )
          (port OUT2 (direction OUTPUT)
            (property pintype (string "OUT"))
          )
          (port SUM (direction OUTPUT)
            (property pintype (string "OUT"))
          )
        )
        (contents
          (instance (rename I_36_21 "I$21")
            (viewRef decode (cellRef decode))
          )
          (instance (rename I_36_223 "I$223")
            (viewRef MG_STD_46_POS (cellRef &74ls08 (libraryRef &_36_MGC_LSLIB)))
          )
          (instance (rename I_36_224 "I$224")
            (viewRef MG_STD_46_POS (cellRef &74ls08 (libraryRef &_36_MGC_LSLIB)))
          )
          (instance (rename I_36_225 "I$225")
            (viewRef MG_STD_46_POS (cellRef &74ls08 (libraryRef &_36_MGC_LSLIB)))
          )
          (instance (rename I_36_226 "I$226")
            (viewRef OLD (cellRef &74ls32 (libraryRef &_36_MGC_LSLIB)))
          )
          (instance (rename I_36_227 "I$227")
            (viewRef OLD (cellRef &74ls32 (libraryRef &_36_MGC_LSLIB)))
          )
          (instance (rename I_36_228 "I$228")
            (viewRef MG_STD (cellRef &74ls74a (libraryRef &_36_MGC_LSLIB)))
          )
          (instance (rename I_36_229 "I$229")
            (viewRef MG_STD_46_POS (cellRef &74ls86 (libraryRef &_36_MGC_LSLIB)))
          )
          (instance (rename I_36_230 "I$230")
            (viewRef MG_STD_46_POS (cellRef &74ls86 (libraryRef &_36_MGC_LSLIB)))
          )
          (net A
            (joined
              (portRef A)
              (portRef A (instanceRef I_36_21))
              (portRef I0 (instanceRef I_36_224))
              (portRef I0 (instanceRef I_36_223))
              (portRef I0 (instanceRef I_36_229))
            )
            (property pintype (string "IN"))
          )
          (net B
            (joined
              (portRef B)
              (portRef B (instanceRef I_36_21))
              (portRef I0 (instanceRef I_36_225))
              (portRef I1 (instanceRef I_36_223))
              (portRef I1 (instanceRef I_36_229))
            )
            (property pintype (string "IN"))
          )
          (net C
            (joined
              (portRef C)
              (portRef C (instanceRef I_36_21))
            )
            (property pintype (string "IN"))
          )
          (net CIN
            (joined
              (portRef CIN)
              (portRef I1 (instanceRef I_36_225))
              (portRef I1 (instanceRef I_36_224))
              (portRef I1 (instanceRef I_36_230))
            )
            (property pintype (string "IN"))
          )
          (net CLOCK
            (joined
              (portRef CLK (instanceRef I_36_228))
              (portRef CLOCK)
              (portRef CLOCK (instanceRef I_36_21))
            )
            (property pintype (string "IN"))
          )
          (net COUT
            (joined
              (portRef COUT)
              (portRef OUT (instanceRef I_36_227))
            )
            (property pintype (string "OUT"))
          )
          (net D
            (joined
              (portRef D)
              (portRef D (instanceRef I_36_21))
            )
            (property pintype (string "IN"))
          )
          (net LATCHSUM
            (joined
              (portRef LATCHSUM)
              (portRef Q (instanceRef I_36_228))
            )
            (property pintype (string "OUT"))
          )
          (net (rename N_36_12 "N$12")
            (joined
              (portRef I0 (instanceRef I_36_227))
              (portRef OUT (instanceRef I_36_226))
            )
          )
          (net (rename N_36_13 "N$13")
            (joined
              (portRef I1 (instanceRef I_36_227))
              (portRef OUT (instanceRef I_36_225))
            )
          )
          (net (rename N_36_14 "N$14")
            (joined
              (portRef I0 (instanceRef I_36_230))
              (portRef OUT (instanceRef I_36_229))
            )
          )
          (net (rename N_36_222 "N$222")
            (joined
              (portRef &_CLR (instanceRef I_36_228))
            )
          )
          (net (rename N_36_223 "N$223")
            (joined
              (portRef &_PRE (instanceRef I_36_228))
            )
          )
          (net (rename N_36_224 "N$224")
            (joined
              (portRef &_Q (instanceRef I_36_228))
            )
          )
          (net (rename N_36_4 "N$4")
            (joined
              (portRef I0 (instanceRef I_36_226))
              (portRef OUT (instanceRef I_36_223))
            )
          )
          (net (rename N_36_5 "N$5")
            (joined
              (portRef I1 (instanceRef I_36_226))
              (portRef OUT (instanceRef I_36_224))
            )
          )
          (net OUT1
            (joined
              (portRef OUT1)
              (portRef OUT1 (instanceRef I_36_21))
            )
            (property pintype (string "OUT"))
          )
          (net OUT1LATCH
            (joined
              (portRef OUT1L (instanceRef I_36_21))
              (portRef OUT1LATCH)
            )
            (property pintype (string "OUT"))
          )
          (net OUT2
            (joined
              (portRef OUT2)
              (portRef OUT2 (instanceRef I_36_21))
            )
            (property pintype (string "OUT"))
          )
          (net SUM
            (joined
              (portRef D (instanceRef I_36_228))
              (portRef OUT (instanceRef I_36_230))
              (portRef SUM)
            )
            (property pintype (string "OUT"))
          )
        )
      )
    )
  )
  (design fulladd2 (cellRef fulladd2 (libraryRef &_36_MAX2_EXAMPLES_47_example3)))
)