cnt3.edf

设计与验证verilog hdl

(edif (rename CNT3 "cnt2")
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 3 8 20 36 8)
      (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 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 CNT3 "cnt2") (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename CNT_OUT "cnt_out[3:0]") 4) (direction INPUT))
           (port (array (rename CNT_OUT_PLUS "cnt_out_plus[3:0]") 4) (direction OUTPUT))
         )
         (contents
          (instance (rename cnt_outZ0Z_0 "cnt_out[0]") (viewRef prim (cellRef IBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_outZ0Z_1 "cnt_out[1]") (viewRef prim (cellRef IBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_outZ0Z_2 "cnt_out[2]") (viewRef prim (cellRef IBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_outZ0Z_3 "cnt_out[3]") (viewRef prim (cellRef IBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_out_plusZ0Z_0 "cnt_out_plus[0]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_out_plusZ0Z_1 "cnt_out_plus[1]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_out_plusZ0Z_2 "cnt_out_plus[2]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance (rename cnt_out_plusZ0Z_3 "cnt_out_plus[3]") (viewRef prim (cellRef OBUF (libraryRef ispmach4s)))          )
          (instance G_3 (viewRef prim (cellRef XOR2 (libraryRef ispmach4s)))          )
          (instance G_4 (viewRef prim (cellRef AND2 (libraryRef ispmach4s)))          )
          (instance G_5 (viewRef prim (cellRef XOR2 (libraryRef ispmach4s)))          )
          (instance G_6 (viewRef prim (cellRef AND2 (libraryRef ispmach4s)))          )
          (instance G_7 (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_plus_1_1 "cnt_out_plus_1[1]") (joined
           (portRef O (instanceRef G_3))
           (portRef I0 (instanceRef cnt_out_plusZ0Z_1))
          ))
          (net (rename cnt_out_plus_1_2 "cnt_out_plus_1[2]") (joined
           (portRef O (instanceRef G_5))
           (portRef I0 (instanceRef cnt_out_plusZ0Z_2))
          ))
          (net (rename cnt_out_plus_1_3 "cnt_out_plus_1[3]") (joined
           (portRef O (instanceRef G_7))
           (portRef I0 (instanceRef cnt_out_plusZ0Z_3))
          ))
          (net N_7 (joined
           (portRef O (instanceRef G_4))
           (portRef I0 (instanceRef G_6))
           (portRef I0 (instanceRef G_5))
          ))
          (net N_10 (joined
           (portRef O (instanceRef G_6))
           (portRef I0 (instanceRef G_7))
          ))
          (net (rename cnt_out_iZ0Z_0 "cnt_out_i[0]") (joined
           (portRef O (instanceRef cnt_out_i_0))
           (portRef I0 (instanceRef cnt_out_plusZ0Z_0))
          ))
          (net (rename cnt_out_c_0 "cnt_out_c[0]") (joined
           (portRef O (instanceRef cnt_outZ0Z_0))
           (portRef I0 (instanceRef cnt_out_i_0))
           (portRef I0 (instanceRef G_4))
           (portRef I0 (instanceRef G_3))
          ))
          (net (rename cnt_out_0 "cnt_out[0]") (joined
           (portRef (member CNT_OUT 3))
           (portRef I0 (instanceRef cnt_outZ0Z_0))
          ))
          (net (rename cnt_out_c_1 "cnt_out_c[1]") (joined
           (portRef O (instanceRef cnt_outZ0Z_1))
           (portRef I1 (instanceRef G_4))
           (portRef I1 (instanceRef G_3))
          ))
          (net (rename cnt_out_1 "cnt_out[1]") (joined
           (portRef (member CNT_OUT 2))
           (portRef I0 (instanceRef cnt_outZ0Z_1))
          ))
          (net (rename cnt_out_c_2 "cnt_out_c[2]") (joined
           (portRef O (instanceRef cnt_outZ0Z_2))
           (portRef I1 (instanceRef G_6))
           (portRef I1 (instanceRef G_5))
          ))
          (net (rename cnt_out_2 "cnt_out[2]") (joined
           (portRef (member CNT_OUT 1))
           (portRef I0 (instanceRef cnt_outZ0Z_2))
          ))
          (net (rename cnt_out_c_3 "cnt_out_c[3]") (joined
           (portRef O (instanceRef cnt_outZ0Z_3))
           (portRef I1 (instanceRef G_7))
          ))
          (net (rename cnt_out_3 "cnt_out[3]") (joined
           (portRef (member CNT_OUT 0))
           (portRef I0 (instanceRef cnt_outZ0Z_3))
          ))
          (net (rename cnt_out_plus_0 "cnt_out_plus[0]") (joined
           (portRef O (instanceRef cnt_out_plusZ0Z_0))
           (portRef (member CNT_OUT_PLUS 3))
          ))
          (net (rename cnt_out_plus_1 "cnt_out_plus[1]") (joined
           (portRef O (instanceRef cnt_out_plusZ0Z_1))
           (portRef (member CNT_OUT_PLUS 2))
          ))
          (net (rename cnt_out_plus_2 "cnt_out_plus[2]") (joined
           (portRef O (instanceRef cnt_out_plusZ0Z_2))
           (portRef (member CNT_OUT_PLUS 1))
          ))
          (net (rename cnt_out_plus_3 "cnt_out_plus[3]") (joined
           (portRef O (instanceRef cnt_out_plusZ0Z_3))
           (portRef (member CNT_OUT_PLUS 0))
          ))
          (net GND (joined
          ))
          (net VCC (joined
          ))
         )
       )
    )
  )
  (design (rename CNT3 "cnt2") (cellRef CNT3 (libraryRef work)))
)