spc.edf

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

(edif iospc 
 (edifVersion 2 0 0)
 (edifLevel 0)
 (keywordMap (keywordLevel 0))
 (status 
  (written 
   (timestamp 2006 07 01 02 01 13)
   (program "LeonardoSpectrum Level 3" (version "v20001b.106"))
   (author "Exemplar Logic Inc")))
 (external PRIMITIVES 
  (edifLevel 0)
  (technology (numberDefinition )))
 (external xis2 
  (edifLevel 0)
  (technology (numberDefinition ))
  (cell IOBUF (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I (direction INPUT))
     (port T (direction INPUT))
     (port O (direction OUTPUT))
     (port IO (direction INOUT)
      (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 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 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 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 LUT4 (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I0 (direction INPUT))
     (port I1 (direction INPUT))
     (port I2 (direction INPUT))
     (port I3 (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 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 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 iospc (cellType GENERIC)
   (view INTERFACE  (viewType NETLIST)
    (interface 
     (port clk (direction INPUT))
     (port rst (direction INPUT))
     (port sp (direction INPUT))
     (port s_inout (direction INOUT))
     (port (array (rename p_inout "p_inout(7:0)") 8 )(direction INOUT)))
    (property AREA (string "16.000000"))
    (property PART (string "2s15cs144-5"))
    (contents 
     (instance (rename i0 "p_inout(0)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance (rename i1 "p_inout(1)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance (rename i2 "p_inout(2)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance (rename i3 "p_inout(3)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance (rename i4 "p_inout(4)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance (rename i5 "p_inout(5)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance (rename i6 "p_inout(6)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance (rename i7 "p_inout(7)_bdbuf") (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance s_inout_bdbuf (viewRef NETLIST  (cellRef IOBUF (libraryRef xis2 ))))
     (instance sp_ibuf (viewRef NETLIST  (cellRef IBUF (libraryRef xis2 ))))
     (instance rst_ibuf (viewRef NETLIST  (cellRef IBUF (libraryRef xis2 ))))
     (instance reg_p_in_mark (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance reg_s_out (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance (rename i8 "reg_p_in_out(7)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i9 "reg_p_in_out(6)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i10 "reg_p_in_out(5)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i11 "reg_p_in_out(4)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i12 "reg_p_in_out(3)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i13 "reg_p_in_out(2)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i14 "reg_p_in_out(1)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i15 "reg_p_in_out(0)") (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance (rename i16 "count_s_out(3)") (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance (rename i17 "count_s_out(2)") (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance (rename i18 "count_s_out(1)") (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance (rename i19 "count_s_out(0)") (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance clk_ibuf (viewRef NETLIST  (cellRef BUFGP (libraryRef xis2 ))))
     (instance ix450 (viewRef NETLIST  (cellRef LUT2 (libraryRef xis2 )))
      (property EQN (string "((~I0*~I1))"))
      (property INIT (string "1")))
     (instance ix451 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I0*~I2*I3))"))
      (property INIT (string "CDC8")))
     (instance ix452 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I0*~I2*I3))"))
      (property INIT (string "CDC8")))
     (instance ix453 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I0*~I2*I3))"))
      (property INIT (string "CDC8")))
     (instance ix454 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I0*~I2*I3))"))
      (property INIT (string "CDC8")))
     (instance ix455 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I0*~I2*I3))"))
      (property INIT (string "CDC8")))
     (instance ix456 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I0*~I2*I3))"))
      (property INIT (string "CDC8")))
     (instance ix457 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I0*~I2*I3))"))
      (property INIT (string "CDC8")))
     (instance ix458 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I0*I1)+(I0*I2))"))
      (property INIT (string "E4")))
     (instance ix459 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I1*~I2)+(~I0*~I1))"))
      (property INIT (string "13")))
     (instance ix460 (viewRef NETLIST  (cellRef LUT2 (libraryRef xis2 )))
      (property EQN (string "((I1)+(~I0))"))
      (property INIT (string "D")))
     (instance ix461 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((~I0*I1*I2*I3))"))
      (property INIT (string "4000")))
     (instance ix462 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((~I0*I1*~I3)+(~I0*I1*~I2)+(~I0*~I1*I2*I3))"))
      (property INIT (string "1444")))
     (instance ix463 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I0*~I1*I2)+(~I0*I1*~I2))"))
      (property INIT (string "14")))
     (instance ix464 (viewRef NETLIST  (cellRef LUT2 (libraryRef xis2 )))
      (property EQN (string "((~I0*~I1))"))
      (property INIT (string "1")))
     (instance ix465 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I3)+(I2)+(I1)+(~I0))"))
      (property INIT (string "FFFD")))
     (instance ix466 (viewRef NETLIST  (cellRef LUT1 (libraryRef xis2 )))
      (property EQN (string "((~I0))"))
      (property INIT (string "1")))
     (instance ix467 (viewRef NETLIST  (cellRef LUT1 (libraryRef xis2 )))
      (property EQN (string "((~I0))"))
      (property INIT (string "1")))
     (instance ix468 (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 sp 
      (joined 
       (portRef sp )
       (portRef I (instanceRef sp_ibuf ))))
     (net clk_int 
      (joined 
       (portRef O (instanceRef clk_ibuf ))
       (portRef C (instanceRef reg_p_in_mark ))
       (portRef C (instanceRef reg_s_out ))
       (portRef C (instanceRef i8 ))
       (portRef C (instanceRef i9 ))
       (portRef C (instanceRef i10 ))
       (portRef C (instanceRef i11 ))
       (portRef C (instanceRef i12 ))
       (portRef C (instanceRef i13 ))
       (portRef C (instanceRef i14 ))
       (portRef C (instanceRef i15 ))
       (portRef C (instanceRef i16 ))
       (portRef C (instanceRef i17 ))
       (portRef C (instanceRef i18 ))
       (portRef C (instanceRef i19 ))))
     (net rst_int 
      (joined 
       (portRef O (instanceRef rst_ibuf ))
       (portRef I0 (instanceRef ix466 ))))
     (net sp_int 
      (joined 
       (portRef O (instanceRef sp_ibuf ))
       (portRef T (instanceRef s_inout_bdbuf ))
       (portRef I0 (instanceRef ix450 ))
       (portRef I2 (instanceRef ix451 ))
       (portRef I2 (instanceRef ix452 ))
       (portRef I2 (instanceRef ix453 ))
       (portRef I2 (instanceRef ix454 ))
       (portRef I2 (instanceRef ix455 ))
       (portRef I2 (instanceRef ix456 ))
       (portRef I2 (instanceRef ix457 ))
       (portRef I0 (instanceRef ix458 ))
       (portRef I1 (instanceRef ix459 ))
       (portRef I1 (instanceRef ix460 ))
       (portRef I0 (instanceRef ix467 ))))
     (net s_inout_int 
      (joined