pb.edf

VHDL实例,适合大家学习使用

(edif pbch
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status (written
    (timeStamp 102 2 27 11 38 4)
    (program "blif2net" (version "ispDesignEXPERT 8.4"))))

  (external plsi
    (edifLevel 0)
    (technology (numberDefinition))

    (cell AND2
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port Z0 (direction OUTPUT))
        )
      )
    )

    (cell AND3
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port A2 (direction INPUT))
          (port Z0 (direction OUTPUT))
        )
      )
    )

    (cell AND4
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port A2 (direction INPUT))
          (port A3 (direction INPUT))
          (port Z0 (direction OUTPUT))
        )
      )
    )

    (cell INV
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port ZN0 (direction OUTPUT))
        )
      )
    )

    (cell LXOR2
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port Z0 (direction OUTPUT))
        )
      )
    )

    (cell NAND2
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port ZN0 (direction OUTPUT))
        )
      )
    )

    (cell NAND3
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port A2 (direction INPUT))
          (port ZN0 (direction OUTPUT))
        )
      )
    )

    (cell NAND4
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port A2 (direction INPUT))
          (port A3 (direction INPUT))
          (port ZN0 (direction OUTPUT))
        )
      )
    )

    (cell XNOR2
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port A1 (direction INPUT))
          (port ZN0 (direction OUTPUT))
        )
      )
    )

    (cell IB11
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port XI0 (direction INPUT))
          (port Z0 (direction OUTPUT))
        )
      )
    )

    (cell OB11
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port A0 (direction INPUT))
          (port XO0 (direction OUTPUT))
        )
      )
    )

    (cell FD11
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port CLK (direction INPUT))
          (port D0 (direction INPUT))
          (port Q0 (direction OUTPUT))
        )
      )
    )

    (cell FD21
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port CD (direction INPUT))
          (port CLK (direction INPUT))
          (port D0 (direction INPUT))
          (port Q0 (direction OUTPUT))
        )
      )
    )
  )

  (library pbch
    (edifLevel 0)
    (technology (numberDefinition))

    (cell pbch
      (cellType GENERIC)
      (property PULLUP (string "ON"))
      (view NetList
        (viewType NETLIST)
        (interface
          (port KEY (direction INPUT)
            (property LOCK (string "17"))
          )
          (port CLR (direction INPUT)
            (property LOCK (string "16"))
          )
          (port CLK (direction INPUT)
            (property LOCK (string "15"))
          )
          (port dt (direction OUTPUT))
          (port g (direction OUTPUT))
          (port f (direction OUTPUT))
          (port e (direction OUTPUT))
          (port d (direction OUTPUT))
          (port c (direction OUTPUT))
          (port b (direction OUTPUT))
          (port a (direction OUTPUT))
          (port SEG8 (direction OUTPUT))
          (port SEG7 (direction OUTPUT))
          (port SEG6 (direction OUTPUT))
          (port SEG5 (direction OUTPUT))
          (port SEG4 (direction OUTPUT))
          (port SEG3 (direction OUTPUT))
          (port SEG2 (direction OUTPUT))
          (port SEG1 (direction OUTPUT))
        )

        (contents
          (instance IN_KEY_U1 (viewRef NetList (cellRef IB11 (libraryRef plsi))))
          (instance IN_CLR_U1 (viewRef NetList (cellRef IB11 (libraryRef plsi))))
          (instance IN_CLK_U1 (viewRef NetList (cellRef IB11 (libraryRef plsi))))
          (instance OUT_dt_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_g_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_f_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_e_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_d_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_c_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_b_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_a_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG8_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG7_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG6_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG5_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG4_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG3_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG2_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))
          (instance OUT_SEG1_U1 (viewRef NetList (cellRef OB11 (libraryRef plsi))))