fsm_temp.edf

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

(edif CODETEST 
 (edifVersion 2 0 0)
 (edifLevel 0)
 (keywordMap (keywordLevel 0))
 (status 
  (written 
   (timestamp 2006 06 26 12 35 07)
   (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 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 LD (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port D (direction INPUT))
     (port G (direction INPUT)
      (property clock_pin (string "T")))
     (port Q (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "Dffs or Latches"))
    (property INIT (string "R"))
    (property neg_edge_gate (string "LD_1"))
    (property AREA (string "1.000000"))))
  (cell MUXF5 (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port I0 (direction INPUT))
     (port I1 (direction INPUT))
     (port S (direction INPUT))
     (port O (direction OUTPUT)))
    (property area_report (string "1"))
    (property area_units (string "MUXF5"))
    (property NOMAP_GATE (string "1"))
    (property same_tech_noopt (string "T"))))
  (cell GND (cellType GENERIC)
   (view NETLIST  (viewType NETLIST)
    (interface 
     (port G (direction OUTPUT)))))
  (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 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 CODETEST (cellType GENERIC)
   (view INTERFACE  (viewType NETLIST)
    (interface 
     (port clk (direction INPUT))
     (port rst (direction INPUT))
     (port A (direction INPUT))
     (port Z (direction OUTPUT)))
    (property AREA (string "7.000000"))
    (property PART (string "2s15cs144-5"))
    (contents 
     (instance Z_obuf (viewRef NETLIST  (cellRef OBUF (libraryRef xis2 ))))
     (instance A_ibuf (viewRef NETLIST  (cellRef IBUF (libraryRef xis2 ))))
     (instance rst_ibuf (viewRef NETLIST  (cellRef IBUF (libraryRef xis2 ))))
     (instance (rename i0 "reg_state(2)") (viewRef NETLIST  (cellRef FDCE (libraryRef xis2 ))))
     (instance (rename i1 "reg_state(1)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance (rename i2 "reg_state(0)") (viewRef NETLIST  (cellRef FDC (libraryRef xis2 ))))
     (instance lat_Z_mark (viewRef NETLIST  (cellRef LD (libraryRef xis2 ))))
     (instance ix208 (viewRef NETLIST  (cellRef MUXF5 (libraryRef xis2 ))))
     (instance ix209 (viewRef NETLIST  (cellRef GND (libraryRef xis2 ))))
     (instance clk_ibuf (viewRef NETLIST  (cellRef BUFGP (libraryRef xis2 ))))
     (instance ix218 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I1*~I2*~I3)+(I0*~I3)+(~I1*I2*~I3)+(I0*I1*~I2))"))
      (property (rename a20 "$use_modgen") (string "false"))
      (property INIT (string "08BE")))
     (instance ix219 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((~I1*I3)+(I0*I3)+(I1*~I2))"))
      (property (rename a20 "$use_modgen") (string "false"))
      (property INIT (string "BF0C")))
     (instance ix220 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I0*I1*I2*I3))"))
      (property INIT (string "8000")))
     (instance ix221 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I0*I1*I2*I3)+(I0*~I1*~I2*I3))"))
      (property INIT (string "8200")))
     (instance ix222 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((~I0*I1*I2))"))
      (property INIT (string "40")))
     (instance ix223 (viewRef NETLIST  (cellRef LUT3 (libraryRef xis2 )))
      (property EQN (string "((I1*I2)+(I0*I1)+(~I1*~I2))"))
      (property INIT (string "CB")))
     (instance ix224 (viewRef NETLIST  (cellRef LUT1 (libraryRef xis2 )))
      (property EQN (string "((~I0))"))
      (property INIT (string "1")))
     (instance ix225 (viewRef NETLIST  (cellRef LUT4 (libraryRef xis2 )))
      (property EQN (string "((I0*I1*~I2*~I3))"))
      (property INIT (string "0008")))
     (net clk 
      (joined 
       (portRef clk )
       (portRef I (instanceRef clk_ibuf ))))
     (net rst 
      (joined 
       (portRef rst )
       (portRef I (instanceRef rst_ibuf ))))
     (net A 
      (joined 
       (portRef A )
       (portRef I (instanceRef A_ibuf ))))
     (net clk_int 
      (joined 
       (portRef O (instanceRef clk_ibuf ))
       (portRef C (instanceRef i0 ))
       (portRef C (instanceRef i1 ))
       (portRef C (instanceRef i2 ))))
     (net rst_int 
      (joined 
       (portRef O (instanceRef rst_ibuf ))
       (portRef I0 (instanceRef ix221 ))
       (portRef I0 (instanceRef ix224 ))
       (portRef I0 (instanceRef ix225 ))))
     (net A_int 
      (joined 
       (portRef O (instanceRef A_ibuf ))
       (portRef I3 (instanceRef ix218 ))
       (portRef I3 (instanceRef ix219 ))
       (portRef I3 (instanceRef ix220 ))
       (portRef I2 (instanceRef ix222 ))
       (portRef I2 (instanceRef ix223 ))))
     (net Z 
      (joined 
       (portRef Z )
       (portRef O (instanceRef Z_obuf ))))
     (net (rename n9 "state(2)") 
      (joined 
       (portRef Q (instanceRef i0 ))
       (portRef I0 (instanceRef ix218 ))
       (portRef I0 (instanceRef ix219 ))
       (portRef I0 (instanceRef ix220 ))
       (portRef I1 (instanceRef ix221 ))
       (portRef I0 (instanceRef ix222 ))
       (portRef I2 (instanceRef ix225 ))))
     (net (rename n10 "state(1)") 
      (joined 
       (portRef Q (instanceRef i1 ))
       (portRef I1 (instanceRef ix218 ))
       (portRef I1 (instanceRef ix219 ))
       (portRef I1 (instanceRef ix220 ))
       (portRef I2 (instanceRef ix221 ))
       (portRef I1 (instanceRef ix222 ))
       (portRef I0 (instanceRef ix223 ))
       (portRef I3 (instanceRef ix225 ))))
     (net (rename n11 "state(0)") 
      (joined 
       (portRef Q (instanceRef i2 ))
       (portRef S (instanceRef ix208 ))
       (portRef I2 (instanceRef ix218 ))
       (portRef I2 (instanceRef ix219 ))
       (portRef I2 (instanceRef ix220 ))
       (portRef I3 (instanceRef ix221 ))
       (portRef I1 (instanceRef ix223 ))))
     (net Z_mark 
      (joined 
       (portRef Q (instanceRef lat_Z_mark ))
       (portRef I1 (instanceRef ix225 ))))
     (net Z_dup0 
      (joined 
       (portRef O (instanceRef ix208 ))
       (portRef I (instanceRef Z_obuf ))))
     (net nx206 
      (joined 
       (portRef G (instanceRef ix209 ))
       (portRef I0 (instanceRef ix208 ))))
     (net (rename n12 "nextstate(1)") 
      (joined 
       (portRef O (instanceRef ix218 ))
       (portRef D (instanceRef i1 ))))
     (net (rename n13 "nextstate(0)") 
      (joined 
       (portRef O (instanceRef ix219 ))
       (portRef D (instanceRef i2 ))))
     (net nx115 
      (joined 
       (portRef O (instanceRef ix220 ))
       (portRef D (instanceRef lat_Z_mark ))))
     (net NOT_nx129 
      (joined 
       (portRef O (instanceRef ix221 ))
       (portRef G (instanceRef lat_Z_mark ))))
     (net nx204 
      (joined 
       (portRef O (instanceRef ix222 ))
       (portRef D (instanceRef i0 ))))
     (net nx205 
      (joined 
       (portRef O (instanceRef ix223 ))
       (portRef CE (instanceRef i0 ))))
     (net NOT_rst 
      (joined 
       (portRef O (instanceRef ix224 ))
       (portRef CLR (instanceRef i0 ))
       (portRef CLR (instanceRef i1 ))
       (portRef CLR (instanceRef i2 ))))
     (net nx207 
      (joined 
       (portRef O (instanceRef ix225 ))
       (portRef I1 (instanceRef ix208 ))))))))
 (design CODETEST (cellRef CODETEST (libraryRef work ))
  (property PART (string "2s15cs144-5"))))