srl2pal.edf

设计与验证verilog hdl

(edif srl2pal
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 1 11 4 9 38)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "8.1.0, Build 540R"))
     )
   )
  (library VIRTEX
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell IBUF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I (direction INPUT))
         )
       )
    )
    (cell OBUF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I (direction INPUT))
         )
       )
    )
    (cell BUFGP (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
  )
  (library UNILIB
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell FDC (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port C (direction INPUT)
 )
           (port CLR (direction INPUT))
         )
       )
    )
    (cell INV (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell srl2pal (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename pal_out "pal_out[7:0]") 8) (direction OUTPUT))
           (port clk (direction INPUT)
 )
           (port rst (direction INPUT)
 )
           (port srl_in (direction INPUT)
 )
         )
         (contents
          (instance (rename pal_outZ0Z_0 "pal_out[0]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance (rename pal_outZ0Z_1 "pal_out[1]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance (rename pal_outZ0Z_2 "pal_out[2]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance (rename pal_outZ0Z_3 "pal_out[3]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance (rename pal_outZ0Z_4 "pal_out[4]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance (rename pal_outZ0Z_5 "pal_out[5]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance (rename pal_outZ0Z_6 "pal_out[6]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance (rename pal_outZ0Z_7 "pal_out[7]") (viewRef PRIM (cellRef FDC (libraryRef UNILIB)))
          )
          (instance rst_c_i (viewRef PRIM (cellRef INV (libraryRef UNILIB)))          )
          (instance clk_ibuf (viewRef PRIM (cellRef BUFGP (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_7 "pal_out_obuf[7]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_6 "pal_out_obuf[6]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_5 "pal_out_obuf[5]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_4 "pal_out_obuf[4]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_3 "pal_out_obuf[3]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_2 "pal_out_obuf[2]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_1 "pal_out_obuf[1]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename pal_out_obuf_0 "pal_out_obuf[0]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance srl_in_ibuf (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (instance rst_ibuf (viewRef PRIM (cellRef IBUF (libraryRef VIRTEX)))
          )
          (net clk (joined
           (portRef clk)
           (portRef I (instanceRef clk_ibuf))
          ))
          (net rst (joined
           (portRef rst)
           (portRef I (instanceRef rst_ibuf))
          ))
          (net srl_in (joined
           (portRef srl_in)
           (portRef I (instanceRef srl_in_ibuf))
          ))
          (net (rename pal_out_0 "pal_out[0]") (joined
           (portRef O (instanceRef pal_out_obuf_0))
           (portRef (member pal_out 7))
          ))
          (net (rename pal_out_1 "pal_out[1]") (joined
           (portRef O (instanceRef pal_out_obuf_1))
           (portRef (member pal_out 6))
          ))
          (net (rename pal_out_2 "pal_out[2]") (joined
           (portRef O (instanceRef pal_out_obuf_2))
           (portRef (member pal_out 5))
          ))
          (net (rename pal_out_3 "pal_out[3]") (joined
           (portRef O (instanceRef pal_out_obuf_3))
           (portRef (member pal_out 4))
          ))
          (net (rename pal_out_4 "pal_out[4]") (joined
           (portRef O (instanceRef pal_out_obuf_4))
           (portRef (member pal_out 3))
          ))
          (net (rename pal_out_5 "pal_out[5]") (joined
           (portRef O (instanceRef pal_out_obuf_5))
           (portRef (member pal_out 2))
          ))
          (net (rename pal_out_6 "pal_out[6]") (joined
           (portRef O (instanceRef pal_out_obuf_6))
           (portRef (member pal_out 1))
          ))
          (net (rename pal_out_7 "pal_out[7]") (joined
           (portRef O (instanceRef pal_out_obuf_7))
           (portRef (member pal_out 0))
          ))
          (net clk_c (joined
           (portRef O (instanceRef clk_ibuf))
           (portRef C (instanceRef pal_outZ0Z_7))
           (portRef C (instanceRef pal_outZ0Z_6))
           (portRef C (instanceRef pal_outZ0Z_5))
           (portRef C (instanceRef pal_outZ0Z_4))
           (portRef C (instanceRef pal_outZ0Z_3))
           (portRef C (instanceRef pal_outZ0Z_2))
           (portRef C (instanceRef pal_outZ0Z_1))
           (portRef C (instanceRef pal_outZ0Z_0))
          ))
          (net (rename pal_out_c_0 "pal_out_c[0]") (joined
           (portRef Q (instanceRef pal_outZ0Z_0))
           (portRef I (instanceRef pal_out_obuf_0))
           (portRef D (instanceRef pal_outZ0Z_1))
          ))
          (net srl_in_c (joined
           (portRef O (instanceRef srl_in_ibuf))
           (portRef D (instanceRef pal_outZ0Z_0))
          ))
          (net (rename rst_c_iZ0 "rst_c_i") (joined
           (portRef O (instanceRef rst_c_i))
           (portRef CLR (instanceRef pal_outZ0Z_7))
           (portRef CLR (instanceRef pal_outZ0Z_6))
           (portRef CLR (instanceRef pal_outZ0Z_5))
           (portRef CLR (instanceRef pal_outZ0Z_4))
           (portRef CLR (instanceRef pal_outZ0Z_3))
           (portRef CLR (instanceRef pal_outZ0Z_2))
           (portRef CLR (instanceRef pal_outZ0Z_1))
           (portRef CLR (instanceRef pal_outZ0Z_0))
          ))
          (net (rename pal_out_c_1 "pal_out_c[1]") (joined
           (portRef Q (instanceRef pal_outZ0Z_1))
           (portRef I (instanceRef pal_out_obuf_1))
           (portRef D (instanceRef pal_outZ0Z_2))
          ))
          (net (rename pal_out_c_2 "pal_out_c[2]") (joined
           (portRef Q (instanceRef pal_outZ0Z_2))
           (portRef I (instanceRef pal_out_obuf_2))
           (portRef D (instanceRef pal_outZ0Z_3))
          ))
          (net (rename pal_out_c_3 "pal_out_c[3]") (joined
           (portRef Q (instanceRef pal_outZ0Z_3))
           (portRef I (instanceRef pal_out_obuf_3))
           (portRef D (instanceRef pal_outZ0Z_4))
          ))
          (net (rename pal_out_c_4 "pal_out_c[4]") (joined
           (portRef Q (instanceRef pal_outZ0Z_4))
           (portRef I (instanceRef pal_out_obuf_4))
           (portRef D (instanceRef pal_outZ0Z_5))
          ))
          (net (rename pal_out_c_5 "pal_out_c[5]") (joined
           (portRef Q (instanceRef pal_outZ0Z_5))
           (portRef I (instanceRef pal_out_obuf_5))
           (portRef D (instanceRef pal_outZ0Z_6))
          ))
          (net (rename pal_out_c_6 "pal_out_c[6]") (joined
           (portRef Q (instanceRef pal_outZ0Z_6))
           (portRef I (instanceRef pal_out_obuf_6))
           (portRef D (instanceRef pal_outZ0Z_7))
          ))
          (net (rename pal_out_c_7 "pal_out_c[7]") (joined
           (portRef Q (instanceRef pal_outZ0Z_7))
           (portRef I (instanceRef pal_out_obuf_7))
          ))
          (net rst_c (joined
           (portRef O (instanceRef rst_ibuf))
           (portRef I (instanceRef rst_c_i))
          ))
         )
        (property old_syn_reference_clock_1 (string "srl2pal|clk,r=0.000000,f=500.000000,u=0.000000,p=1000.000000,clockgroup=Autoconstr_clkgroup_0,rd=0.000000,fd=0.000000,v=0,gen=1"))
       )
    )
  )
  (design srl2pal (cellRef srl2pal (libraryRef work))
	(property PART (string "xc3s50tq144-4") (owner "Xilinx")))
)