count4.edf

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

(edif count4
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 1994 7 27 11 44 33)
      (program "VIEWlogic's edifnet" (version "4.20"))))
  (library COUNT4
    (edifLevel 0)
    (technology (numberDefinition (scale 1 (E 1 -12) (unit CAPACITANCE))))

    (cell (rename ALTERA_AL_DFF_1 "AL_DFF")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 27 56)))
      (userData VL_PLATFORM_CODE (string "K 146847664600 AL_DFF")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port Q
            (direction OUTPUT))
          (port D
            (direction INPUT))
          (port CLRN
            (direction INPUT))
          (port PRN
            (direction INPUT))
          (port CLK
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_TRI_2 "AL_TRI")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 28 26)))
      (userData VL_PLATFORM_CODE (string "K 97973676390 AL_TRI")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN
            (direction INPUT))
          (port OE
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_NOR2_3 "AL_NOR2")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 28 8)))
      (userData VL_PLATFORM_CODE (string "K 254744325400 AL_NOR2")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN1
            (direction INPUT))
          (port IN2
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_OR2_4 "AL_OR2")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 28 20)))
      (userData VL_PLATFORM_CODE (string "K 387278332600 AL_OR2")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN1
            (direction INPUT))
          (port IN2
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_NAND2_5 "AL_NAND2")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 28 0)))
      (userData VL_PLATFORM_CODE (string "K 200052151400 AL_NAND2")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN1
            (direction INPUT))
          (port IN2
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_AND2_6 "AL_AND2")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 27 50)))
      (userData VL_PLATFORM_CODE (string "K 284857983800 AL_AND2")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN1
            (direction INPUT))
          (port IN2
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_OR3_7 "AL_OR3")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 28 20)))
      (userData VL_PLATFORM_CODE (string "K 331781179200 AL_OR3")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN1
            (direction INPUT))
          (port IN2
            (direction INPUT))
          (port IN3
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_NOT_8 "AL_NOT")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 28 16)))
      (userData VL_PLATFORM_CODE (string "K 223584504100 AL_NOT")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell (rename ALTERA_AL_XNOR2_9 "AL_XNOR2")
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 1 11 19 28 26)))
      (userData VL_PLATFORM_CODE (string "K 131672517500 AL_XNOR2")
        (owner "Viewlogic_Systems"))
      (userData LIBNAME
        (string "ALTERA")
          (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port OUT
            (direction OUTPUT))
          (port IN1
            (direction INPUT))
          (port IN2
            (direction INPUT))
          (property LEVEL (string "ALTERA") (owner "Viewlogic_Systems")))
      ))

    (cell COUNT4
      (cellType GENERIC)
        (status (written
         (timeStamp 1994 7 27 11 44 33)))
      (userData VL_PLATFORM_CODE (string "K 235138756900 count4")
        (owner "Viewlogic_Systems"))
      (view view_1
        (viewType NETLIST)
        (interface
          (port LOAD
            (direction INPUT))
          (port ENABLE
            (direction INPUT))
          (port RST
            (direction INPUT))
          (port CLK
            (direction INPUT))
          (port DATA0
            (direction INOUT))
          (port DATA1
            (direction INOUT))
          (port DATA2
            (direction INOUT))
          (port DATA3
            (direction INOUT)))
        (contents
          (instance MEM_1
            (viewRef view_1 (cellRef ALTERA_AL_DFF_1)))
          (instance MEM_2
            (viewRef view_1 (cellRef ALTERA_AL_DFF_1)))
          (instance MEM_3
            (viewRef view_1 (cellRef ALTERA_AL_DFF_1)))
          (instance MEM_4
            (viewRef view_1 (cellRef ALTERA_AL_DFF_1)))
          (instance MEM_5
            (viewRef view_1 (cellRef ALTERA_AL_DFF_1)))
          (instance TS1
            (viewRef view_1 (cellRef ALTERA_AL_TRI_2)))
          (instance TS2
            (viewRef view_1 (cellRef ALTERA_AL_TRI_2)))
          (instance TS3
            (viewRef view_1 (cellRef ALTERA_AL_TRI_2)))
          (instance TS4
            (viewRef view_1 (cellRef ALTERA_AL_TRI_2)))
          (instance XU_0
            (viewRef view_1 (cellRef ALTERA_AL_NOR2_3)))
          (instance XU_1
            (viewRef view_1 (cellRef ALTERA_AL_NOR2_3)))
          (instance XU_10
            (viewRef view_1 (cellRef ALTERA_AL_OR2_4)))
          (instance XU_11
            (viewRef view_1 (cellRef ALTERA_AL_NAND2_5)))
          (instance XU_12
            (viewRef view_1 (cellRef ALTERA_AL_NAND2_5)))
          (instance XU_13
            (viewRef view_1 (cellRef ALTERA_AL_OR2_4)))
          (instance XU_14
            (viewRef view_1 (cellRef ALTERA_AL_NAND2_5)))
          (instance XU_15
            (viewRef view_1 (cellRef ALTERA_AL_NAND2_5)))
          (instance XU_16
            (viewRef view_1 (cellRef ALTERA_AL_OR2_4)))