hdl_demo.edn

Xilinx Ise 官方源代码盘 第四章

(edif hdl_demo
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2004 6 16 17 36 31)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "7.3.5, Build 222R"))
     )
   )
  (library LUCENT
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell ADD (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A (direction INPUT))
           (port B (direction INPUT))
           (port CI (direction INPUT))
           (port CO (direction OUTPUT))
           (port S (direction OUTPUT))
         )
       )
    )
    (cell OB6 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell IBM (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell FD1S3AX (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port CK (direction INPUT))
           (port Q (direction OUTPUT))
           (port QN (direction OUTPUT))
         )
        (property is_ff (integer 1))
       )
    )
    (cell OFS1P3DX (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port SP (direction INPUT))
           (port SCLK (direction INPUT))
           (port CD (direction INPUT))
           (port Q (direction OUTPUT))
         )
        (property is_ff (integer 1))
       )
    )
    (cell FD1P3AY (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port SP (direction INPUT))
           (port CK (direction INPUT))
           (port Q (direction OUTPUT))
           (port QN (direction OUTPUT))
         )
        (property is_ff (integer 1))
       )
    )
    (cell FD1P3AX (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port SP (direction INPUT))
           (port CK (direction INPUT))
           (port Q (direction OUTPUT))
           (port QN (direction OUTPUT))
         )
        (property is_ff (integer 1))
       )
    )
    (cell FSUB4 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A0 (direction INPUT))
           (port A1 (direction INPUT))
           (port A2 (direction INPUT))
           (port A3 (direction INPUT))
           (port B0 (direction INPUT))
           (port B1 (direction INPUT))
           (port B2 (direction INPUT))
           (port B3 (direction INPUT))
           (port BI (direction INPUT))
           (port BO (direction OUTPUT))
           (port S0 (direction OUTPUT))
           (port S1 (direction OUTPUT))
           (port S2 (direction OUTPUT))
           (port S3 (direction OUTPUT))
         )
       )
    )
    (cell FADD4 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A0 (direction INPUT))
           (port A1 (direction INPUT))
           (port A2 (direction INPUT))
           (port A3 (direction INPUT))
           (port B0 (direction INPUT))
           (port B1 (direction INPUT))
           (port B2 (direction INPUT))
           (port B3 (direction INPUT))
           (port CI (direction INPUT))
           (port CO (direction OUTPUT))
           (port S0 (direction OUTPUT))
           (port S1 (direction OUTPUT))
           (port S2 (direction OUTPUT))
           (port S3 (direction OUTPUT))
         )
       )
    )
    (cell ORCALUT4 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A (direction INPUT))
           (port B (direction INPUT))
           (port C (direction INPUT))
           (port D (direction INPUT))
           (port Z (direction OUTPUT))
         )
       )
    )
    (cell GSR (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port GSR (direction INPUT))
         )
       )
    )
    (cell INV (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A (direction INPUT))
           (port Z (direction OUTPUT))
         )
       )
    )
    (cell VHI (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Z (direction OUTPUT))
         )
       )
    )
    (cell VLO (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Z (direction OUTPUT))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell hdl_demo_cell_state_9_0__h_1 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port state_4 (direction OUTPUT))
           (port state_3 (direction OUTPUT))
           (port state_2 (direction OUTPUT))
           (port state_1 (direction OUTPUT))
           (port state_8 (direction OUTPUT))
           (port state_9 (direction OUTPUT))
           (port state_7 (direction OUTPUT))
           (port state_6 (direction OUTPUT))
           (port GSRN (direction INPUT))
           (port clk_c (direction INPUT))
           (port start (direction INPUT))
           (port in_c_c (direction INPUT))
           (port in_a_c (direction INPUT))
           (port in_b_c (direction INPUT))
         )
         (contents
          (instance state_ns_0_0_a3_0_2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A))"))
          )
          (instance state_ns_0_a2_0_a3_0 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(B !A)"))
          )
          (instance state_ns_0_0_2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B+A)+C A)"))
          )
          (instance state_ns_0_0_4 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(B+A)"))
          )
          (instance state_ns_i_0_3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (B !A)+D (!C (B !A)+C !A))"))
          )
          (instance state_ns_i_0_1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B+!A))+D (!C B+C (B+!A)))"))
          )
          (instance state_ns_0_0_a3_4 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(D (C (!B A)))"))
          )
          (instance state_0 (viewRef PRIM (cellRef FD1P3AY (libraryRef LUCENT)))
          )
          (instance stateZ0Z_1 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance stateZ0Z_2 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance stateZ0Z_3 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance stateZ0Z_4 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance state_5 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance stateZ0Z_6 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance stateZ0Z_7 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance stateZ0Z_8 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance stateZ0Z_9 (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))
          )
          (instance GND_0 (viewRef PRIM (cellRef VLO (libraryRef LUCENT)))          )
          (net state_ns_0_0_a3_0_n_2 (joined
           (portRef Z (instanceRef state_ns_0_0_a3_0_2))
           (portRef A (instanceRef state_ns_0_0_2))
          ))
          (net in_c_c (joined
           (portRef in_c_c)
           (portRef A (instanceRef state_ns_0_0_a3_4))
           (portRef D (instanceRef state_ns_i_0_3))
           (portRef C (instanceRef state_ns_0_0_2))
          ))
          (net in_b_c (joined
           (portRef in_b_c)
           (portRef B (instanceRef state_ns_0_0_a3_4))
           (portRef A (instanceRef state_ns_i_0_1))
           (portRef B (instanceRef state_ns_0_0_a3_0_2))
          ))
          (net in_a_c (joined
           (portRef in_a_c)
           (portRef D (instanceRef state_ns_0_0_a3_4))
           (portRef B (instanceRef state_ns_i_0_1))
           (portRef A (instanceRef state_ns_0_a2_0_a3_0))
           (portRef C (instanceRef state_ns_0_0_a3_0_2))
          ))
          (net state_ns_0_0_a3_n_4 (joined
           (portRef Z (instanceRef state_ns_0_0_a3_4))
           (portRef A (instanceRef state_ns_0_0_4))
           (portRef A (instanceRef state_ns_i_0_3))
          ))
          (net state_ns_0 (joined
           (portRef Z (instanceRef state_ns_0_a2_0_a3_0))
           (portRef D (instanceRef state_0))
          ))
          (net N_120_i_0 (joined
           (portRef Z (instanceRef state_ns_i_0_1))
           (portRef D (instanceRef stateZ0Z_1))
          ))
          (net state_ns_0_0_n_2 (joined
           (portRef Z (instanceRef state_ns_0_0_2))
           (portRef D (instanceRef stateZ0Z_2))
          ))
          (net N_123_i_0 (joined
           (portRef Z (instanceRef state_ns_i_0_3))
           (portRef D (instanceRef stateZ0Z_3))
          ))
          (net state_ns_0_0_n_4 (joined
           (portRef Z (instanceRef state_ns_0_0_4))
           (portRef D (instanceRef stateZ0Z_4))
          ))
          (net stateZ0Z_0 (joined
           (portRef Q (instanceRef state_0))
           (portRef D (instanceRef state_5))
          ))
          (net stateZ0Z_5 (joined
           (portRef Q (instanceRef state_5))
           (portRef B (instanceRef state_ns_0_a2_0_a3_0))
           (portRef D (instanceRef state_ns_i_0_1))
          ))
          (net state_1 (joined
           (portRef Q (instanceRef stateZ0Z_1))
           (portRef state_1)