cnt1.edf

程序补充说明：对于时序逻辑

(edif (rename CNT1 "cnt1")
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 3 8 20 34 48)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "8.1.0, Build 532R"))
     )
   )
  (external ispmach4s
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell AND2 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
         )
       )
    )
    (cell DFF (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port CLK (direction INPUT))
         )
       )
    )
    (cell IBUF (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I0 (direction INPUT))
         )
       )
    )
    (cell INV (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I0 (direction INPUT))
         )
       )
    )
    (cell OBUF (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I0 (direction INPUT))
         )
       )
    )
    (cell XOR2 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell (rename CNT1 "cnt1") (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename CNT_OUT "cnt_out[3:0]") 4) (direction OUTPUT))
           (port clock (direction INPUT))
         )
         (contents
          (instance (rename cnt_outDFF_0 "cnt_outDFF[0]") (viewRef prim (cellRef DFF (libraryRef ispmach4s)))
          )
          (instance (rename cnt_outDFF_1 "cnt_outDFF[1]") (viewRef prim (cellRef DFF (libraryRef ispmach4s)))
          )
          (instance (rename cnt_outDFF_2 "cnt_outDFF[2]") (viewRef prim (cellRef DFF (libraryRef ispmach4s)))
          )
          (instance (rename cnt_outDFF_3 "cnt_outDFF[3]") (viewRef prim (cellRef DFF (libraryRef ispmach4s)))
          )
          (instance (rename clockZ0 "clock") (viewRef prim (cellRef IBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_outZ0Z_0 "cnt_out[0]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_outZ0Z_1 "cnt_out[1]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_outZ0Z_2 "cnt_out[2]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_outZ0Z_3 "cnt_out[3]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance cnt_out_n1 (viewRef prim (cellRef XOR2 (libraryRef ispmach4s)))          )
          (instance cnt_out_c1 (viewRef prim (cellRef AND2 (libraryRef ispmach4s)))          )
          (instance cnt_out_n2 (viewRef prim (cellRef XOR2 (libraryRef ispmach4s)))          )
          (instance cnt_out_c2 (viewRef prim (cellRef AND2 (libraryRef ispmach4s)))          )
          (instance cnt_out_n3 (viewRef prim (cellRef XOR2 (libraryRef ispmach4s)))          )
          (instance (rename cnt_out_i_0 "cnt_out_i[0]") (viewRef prim (cellRef INV (libraryRef ispmach4s)))          )
          (net (rename cnt_out_nZ0Z1 "cnt_out_n1") (joined
           (portRef O (instanceRef cnt_out_n1))
           (portRef D (instanceRef cnt_outDFF_1))
          ))
          (net (rename cnt_out_cZ0Z1 "cnt_out_c1") (joined
           (portRef O (instanceRef cnt_out_c1))
           (portRef I0 (instanceRef cnt_out_c2))
           (portRef I0 (instanceRef cnt_out_n2))
          ))
          (net (rename cnt_out_nZ0Z2 "cnt_out_n2") (joined
           (portRef O (instanceRef cnt_out_n2))
           (portRef D (instanceRef cnt_outDFF_2))
          ))
          (net (rename cnt_out_cZ0Z2 "cnt_out_c2") (joined
           (portRef O (instanceRef cnt_out_c2))
           (portRef I0 (instanceRef cnt_out_n3))
          ))
          (net (rename cnt_out_nZ0Z3 "cnt_out_n3") (joined
           (portRef O (instanceRef cnt_out_n3))
           (portRef D (instanceRef cnt_outDFF_3))
          ))
          (net (rename cnt_out_iZ0Z_0 "cnt_out_i[0]") (joined
           (portRef O (instanceRef cnt_out_i_0))
           (portRef D (instanceRef cnt_outDFF_0))
          ))
          (net clock_c (joined
           (portRef O (instanceRef clockZ0))
           (portRef CLK (instanceRef cnt_outDFF_0))
           (portRef CLK (instanceRef cnt_outDFF_1))
           (portRef CLK (instanceRef cnt_outDFF_2))
           (portRef CLK (instanceRef cnt_outDFF_3))
          ))
          (net clock (joined
           (portRef clock)
           (portRef I0 (instanceRef clockZ0))
          ))
          (net (rename cnt_out_c_0 "cnt_out_c[0]") (joined
           (portRef Q (instanceRef cnt_outDFF_0))
           (portRef I0 (instanceRef cnt_out_i_0))
           (portRef I0 (instanceRef cnt_out_c1))
           (portRef I0 (instanceRef cnt_out_n1))
           (portRef I0 (instanceRef cnt_outZ0Z_0))
          ))
          (net (rename cnt_out_0 "cnt_out[0]") (joined
           (portRef O (instanceRef cnt_outZ0Z_0))
           (portRef (member CNT_OUT 3))
          ))
          (net (rename cnt_out_c_1 "cnt_out_c[1]") (joined
           (portRef Q (instanceRef cnt_outDFF_1))
           (portRef I1 (instanceRef cnt_out_c1))
           (portRef I1 (instanceRef cnt_out_n1))
           (portRef I0 (instanceRef cnt_outZ0Z_1))
          ))
          (net (rename cnt_out_1 "cnt_out[1]") (joined
           (portRef O (instanceRef cnt_outZ0Z_1))
           (portRef (member CNT_OUT 2))
          ))
          (net (rename cnt_out_c_2 "cnt_out_c[2]") (joined
           (portRef Q (instanceRef cnt_outDFF_2))
           (portRef I1 (instanceRef cnt_out_c2))
           (portRef I1 (instanceRef cnt_out_n2))
           (portRef I0 (instanceRef cnt_outZ0Z_2))
          ))
          (net (rename cnt_out_2 "cnt_out[2]") (joined
           (portRef O (instanceRef cnt_outZ0Z_2))
           (portRef (member CNT_OUT 1))
          ))
          (net (rename cnt_out_c_3 "cnt_out_c[3]") (joined
           (portRef Q (instanceRef cnt_outDFF_3))
           (portRef I1 (instanceRef cnt_out_n3))
           (portRef I0 (instanceRef cnt_outZ0Z_3))
          ))
          (net (rename cnt_out_3 "cnt_out[3]") (joined
           (portRef O (instanceRef cnt_outZ0Z_3))
           (portRef (member CNT_OUT 0))
          ))
          (net GND (joined
          ))
          (net VCC (joined
          ))
         )
       )
    )
  )
  (design (rename CNT1 "cnt1") (cellRef CNT1 (libraryRef work)))
)