news5f_top_0.edf

Verilog HDL语言编写的5分频电路。采用两路时钟相逻辑作用产生。

(edif s5f 
 (edifVersion 2 0 0)
 (edifLevel 0)
 (keywordMap (keywordLevel 0))
 (status 
  (written 
   (timestamp 2006 06 24 17 01 26)
   (program "LeonardoSpectrum Level 3" (version "v20001b.106"))
   (author "Exemplar Logic Inc")))
 (external PRIMITIVES 
  (edifLevel 0)
  (technology (numberDefinition )))
 (external xis2 
  (edifLevel 0)
  (technology (numberDefinition ))
  (cell OBUF (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I (direction INPUT))
     (port O (direction OUTPUT)
      (property pad (string "T"))))))
  (cell IBUF (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I (direction INPUT)
      (property pad (string "T")))
     (port O (direction OUTPUT)))))
  (cell FDCE (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port D (direction INPUT))
     (port C (direction INPUT)
      (property clock_pin (string "T")))
     (port CLR (direction INPUT))
     (port CE (direction INPUT))
     (port Q (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Dffs or Latches"))
    (property dff (string "1"))
    (property INIT (string "R"))
    (property iodff (string "1"))
    (property neg_edge_gate (string "FDCE_1"))
    (property AREA (string "1.000000"))))
  (cell FDCE_1 (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port D (direction INPUT))
     (port C (direction INPUT)
      (property clock_pin (string "T")))
     (port CLR (direction INPUT))
     (port CE (direction INPUT))
     (port Q (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Dffs or Latches"))
    (property dff (string "1"))
    (property INIT (string "R"))
    (property iodff (string "1"))
    (property NOMAP_GATE (string "1"))
    (property AREA (string "1.000000"))))
  (cell FDC (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port D (direction INPUT))
     (port C (direction INPUT)
      (property clock_pin (string "T")))
     (port CLR (direction INPUT))
     (port Q (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Dffs or Latches"))
    (property dff (string "1"))
    (property INIT (string "R"))
    (property iodff (string "1"))
    (property neg_edge_gate (string "FDC_1"))
    (property AREA (string "1.000000"))))
  (cell FDC_1 (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port D (direction INPUT))
     (port C (direction INPUT)
      (property clock_pin (string "T")))
     (port CLR (direction INPUT))
     (port Q (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Dffs or Latches"))
    (property dff (string "1"))
    (property INIT (string "R"))
    (property iodff (string "1"))
    (property NOMAP_GATE (string "1"))
    (property AREA (string "1.000000"))))
  (cell BUFGP (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I (direction INPUT)
      (property pad (string "T")))
     (port O (direction OUTPUT)
      (property LUT_MAX_FANOUT (string "1000000"))))
    (property same_tech_noopt (string "T"))))
  (cell LUT3 (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I0 (direction INPUT))
     (port I1 (direction INPUT))
     (port I2 (direction INPUT))
     (port O (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Function Generators"))
    (property IS_LUT (string "1"))
    (property NOMAP_GATE (string "1"))
    (property AREA (string "1.000000"))))
  (cell LUT2 (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I0 (direction INPUT))
     (port I1 (direction INPUT))
     (port O (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Function Generators"))
    (property IS_LUT (string "1"))
    (property NOMAP_GATE (string "1"))
    (property AREA (string "1.000000"))))
  (cell LUT1 (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I0 (direction INPUT))
     (port O (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Function Generators"))
    (property IS_LUT (string "1"))
    (property NOMAP_GATE (string "1")))))
 (library work 
  (edifLevel 0)
  (technology (numberDefinition ))
  (cell s5f (cellType GENERIC)
   (view INTERFACE  (viewType NETLIST)
    (interface 
     (port clk (direction INPUT))
     (port rst (direction INPUT))
     (port clk_5f (direction OUTPUT)))
    (property AREA (string "9.000000"))
    (property PART (string "2s15cs144-5"))
    (contents 
     (instance clk_5f_obuf (viewRef NETLIST  (cellRef OBUF (libraryRef xis2 ))))
     (instance rst_ibuf (viewRef NETLIST  (cellRef IBUF (libraryRef xis2 ))))
     (instance s5f1_reg_clk_32 (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance s5f2_reg_clk_32 (viewRef NETLIST  (cellRef FDCE_1 (libraryRef xis2 ))))
     (instance (rename i0 "s5f1_count1(2)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i1 "s5f1_count1(1)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i2 "s5f1_count1(0)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i3 "s5f2_count1(2)") (viewRef NETLIST  (cellRef FDC_1 (libraryRef xis2 ))))
     (instance (rename i4 "s5f2_count1(1)") (viewRef NETLIST  (cellRef FDC_1 (libraryRef xis2 ))))
     (instance (rename i5 "s5f2_count1(0)") (viewRef NETLIST  (cellRef FDC_1 (libraryRef xis2 ))))
     (instance clk_ibuf (viewRef NETLIST  (cellRef BUFGP (libraryRef xis2 ))))
     (instance ix107 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0))"))
      (property INIT (string "EA")))
     (instance ix108 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0))"))
      (property INIT (string "EA")))
     (instance ix109 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I0*I1*I2))"))
      (property INIT (string "40")))
     (instance ix110 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I0*~I1*I2)+(~I0*I1*~I2))"))
      (property INIT (string "14")))
     (instance ix111 (viewRef NETLIST  (cellRef LUT2 (libraryRef xis2 )))
      (property EQN (string "((~I0*~I1))"))
      (property INIT (string "1")))
     (instance ix112 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I0*I1*I2))"))
      (property INIT (string "40")))
     (instance ix113 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I0*~I1*I2)+(~I0*I1*~I2))"))
      (property INIT (string "14")))
     (instance ix114 (viewRef NETLIST  (cellRef LUT2 (libraryRef xis2 )))
      (property EQN (string "((~I0*~I1))"))
      (property INIT (string "1")))
     (instance ix115 (viewRef NETLIST  (cellRef LUT2 (libraryRef xis2 )))
      (property EQN (string "((I1)+(I0))"))
      (property INIT (string "E")))
     (instance ix116 (viewRef NETLIST  (cellRef LUT1 (libraryRef xis2 )))
      (property EQN (string "((~I0))"))
      (property INIT (string "1")))
     (instance ix117 (viewRef NETLIST  (cellRef LUT1 (libraryRef xis2 )))
      (property EQN (string "((~I0))"))
      (property INIT (string "1")))
     (instance ix118 (viewRef NETLIST  (cellRef LUT1 (libraryRef xis2 )))
      (property EQN (string "((~I0))"))
      (property INIT (string "1")))
     (net clk 
      (joined 
       (portRef clk )
       (portRef I (instanceRef clk_ibuf ))))
     (net rst 
      (joined 
       (portRef rst )
       (portRef I (instanceRef rst_ibuf ))))
     (net clk_int 
      (joined 
       (portRef O (instanceRef clk_ibuf ))
       (portRef C (instanceRef s5f1_reg_clk_32 ))
       (portRef C (instanceRef s5f2_reg_clk_32 ))
       (portRef C (instanceRef i0 ))
       (portRef C (instanceRef i1 ))
       (portRef C (instanceRef i2 ))
       (portRef C (instanceRef i3 ))
       (portRef C (instanceRef i4 ))
       (portRef C (instanceRef i5 ))))
     (net rst_int 
      (joined 
       (portRef O (instanceRef rst_ibuf ))
       (portRef I0 (instanceRef ix116 ))))
     (net clk_5f 
      (joined 
       (portRef clk_5f )
       (portRef O (instanceRef clk_5f_obuf ))))
     (net clk_out1 
      (joined 
       (portRef Q (instanceRef s5f1_reg_clk_32 ))
       (portRef I1 (instanceRef ix115 ))))
     (net clk_out2 
      (joined 
       (portRef Q (instanceRef s5f2_reg_clk_32 ))
       (portRef I0 (instanceRef ix115 ))))
     (net (rename n10 "s5f1_count1(2)") 
      (joined 
       (portRef Q (instanceRef i0 ))
       (portRef I0 (instanceRef ix107 ))
       (portRef I0 (instanceRef ix109 ))
       (portRef I0 (instanceRef ix110 ))
       (portRef I0 (instanceRef ix111 ))
       (portRef I0 (instanceRef ix117 ))))
     (net (rename n11 "s5f1_count1(1)") 
      (joined 
       (portRef Q (instanceRef i1 ))
       (portRef I1 (instanceRef ix107 ))
       (portRef I1 (instanceRef ix109 ))
       (portRef I1 (instanceRef ix110 ))))
     (net (rename n12 "s5f1_count1(0)") 
      (joined 
       (portRef Q (instanceRef i2 ))
       (portRef I2 (instanceRef ix107 ))
       (portRef I2 (instanceRef ix109 ))
       (portRef I2 (instanceRef ix110 ))
       (portRef I1 (instanceRef ix111 ))))
     (net (rename n13 "s5f2_count1(2)") 
      (joined 
       (portRef Q (instanceRef i3 ))
       (portRef I0 (instanceRef ix108 ))
       (portRef I0 (instanceRef ix112 ))
       (portRef I0 (instanceRef ix113 ))
       (portRef I0 (instanceRef ix114 ))
       (portRef I0 (instanceRef ix118 ))))
     (net (rename n14 "s5f2_count1(1)") 
      (joined 
       (portRef Q (instanceRef i4 ))
       (portRef I1 (instanceRef ix108 ))
       (portRef I1 (instanceRef ix112 ))
       (portRef I1 (instanceRef ix113 ))))
     (net (rename n15 "s5f2_count1(0)") 
      (joined 
       (portRef Q (instanceRef i5 ))
       (portRef I2 (instanceRef ix108 ))
       (portRef I2 (instanceRef ix112 ))
       (portRef I2 (instanceRef ix113 ))
       (portRef I1 (instanceRef ix114 ))))
     (net s5f1_NOT_nx13 
      (joined 
       (portRef O (instanceRef ix107 ))
       (portRef D (instanceRef s5f1_reg_clk_32 ))))
     (net s5f2_NOT_nx13 
      (joined 
       (portRef O (instanceRef ix108 ))
       (portRef D (instanceRef s5f2_reg_clk_32 ))))
     (net s5f1_count1_nx4 
      (joined 
       (portRef O (instanceRef ix109 ))
       (portRef D (instanceRef i0 ))))
     (net s5f1_count1_nx7 
      (joined 
       (portRef O (instanceRef ix110 ))
       (portRef D (instanceRef i1 ))))
     (net s5f1_count1_nx10 
      (joined 
       (portRef O (instanceRef ix111 ))
       (portRef D (instanceRef i2 ))))
     (net s5f2_count1_nx4 
      (joined 
       (portRef O (instanceRef ix112 ))
       (portRef D (instanceRef i3 ))))
     (net s5f2_count1_nx7 
      (joined 
       (portRef O (instanceRef ix113 ))
       (portRef D (instanceRef i4 ))))
     (net s5f2_count1_nx10 
      (joined 
       (portRef O (instanceRef ix114 ))
       (portRef D (instanceRef i5 ))))
     (net clk_5f_dup0 
      (joined 
       (portRef O (instanceRef ix115 ))
       (portRef I (instanceRef clk_5f_obuf ))))
     (net s5f1_NOT_rst 
      (joined 
       (portRef O (instanceRef ix116 ))
       (portRef CLR (instanceRef s5f1_reg_clk_32 ))
       (portRef CLR (instanceRef s5f2_reg_clk_32 ))
       (portRef CLR (instanceRef i0 ))
       (portRef CLR (instanceRef i1 ))
       (portRef CLR (instanceRef i2 ))
       (portRef CLR (instanceRef i3 ))
       (portRef CLR (instanceRef i4 ))
       (portRef CLR (instanceRef i5 ))))
     (net (rename n16 "NOT_s5f1_count1(2)") 
      (joined 
       (portRef O (instanceRef ix117 ))
       (portRef CE (instanceRef s5f1_reg_clk_32 ))))
     (net (rename n17 "NOT_s5f2_count1(2)") 
      (joined 
       (portRef O (instanceRef ix118 ))
       (portRef CE (instanceRef s5f2_reg_clk_32 ))))))))
 (design s5f (cellRef s5f (libraryRef work ))
  (property PART (string "2s15cs144-5"))))