mod_copy2.edn

设计与验证verilog hdl

(edif mod_copy1
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 3 8 17 59 0)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "8.1.0, Build 532R"))
     )
   )
  (library LUCENT
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell OB (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell IB (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell ORCALUT4 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A (direction INPUT))
           (port B (direction INPUT))
           (port C (direction INPUT))
           (port D (direction INPUT))
           (port Z (direction OUTPUT))
         )
       )
    )
    (cell VLO (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Z (direction OUTPUT))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell mod_copy1 (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port sel (direction INPUT)
 )
           (port a (direction INPUT)
 )
           (port b (direction INPUT)
 )
           (port c (direction INPUT)
 )
           (port d (direction INPUT)
 )
           (port data_out (direction OUTPUT))
         )
         (contents
          (instance GND_0 (viewRef PRIM (cellRef VLO (libraryRef LUCENT)))          )
          (instance data_out_pad (viewRef PRIM (cellRef OB (libraryRef LUCENT)))          )
          (instance d_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance c_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance b_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance a_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance sel_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance G_2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (!C B+C A)+D (!C !B+C !A))"))
          )
          (instance temp1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C B+C A)"))
          )
          (net GND (joined
           (portRef Z (instanceRef GND_0))
          ))
          (net tempZ0Z1 (joined
           (portRef Z (instanceRef temp1))
           (portRef D (instanceRef G_2))
          ))
          (net sel_c (joined
           (portRef O (instanceRef sel_pad))
           (portRef C (instanceRef G_2))
           (portRef C (instanceRef temp1))
          ))
          (net sel (joined
           (portRef sel)
           (portRef I (instanceRef sel_pad))
          ))
          (net a_c (joined
           (portRef O (instanceRef a_pad))
           (portRef A (instanceRef temp1))
          ))
          (net a (joined
           (portRef a)
           (portRef I (instanceRef a_pad))
          ))
          (net b_c (joined
           (portRef O (instanceRef b_pad))
           (portRef A (instanceRef G_2))
          ))
          (net b (joined
           (portRef b)
           (portRef I (instanceRef b_pad))
          ))
          (net c_c (joined
           (portRef O (instanceRef c_pad))
           (portRef B (instanceRef temp1))
          ))
          (net c (joined
           (portRef c)
           (portRef I (instanceRef c_pad))
          ))
          (net d_c (joined
           (portRef O (instanceRef d_pad))
           (portRef B (instanceRef G_2))
          ))
          (net d (joined
           (portRef d)
           (portRef I (instanceRef d_pad))
          ))
          (net data_out_c (joined
           (portRef Z (instanceRef G_2))
           (portRef I (instanceRef data_out_pad))
          ))
          (net data_out (joined
           (portRef O (instanceRef data_out_pad))
           (portRef data_out)
          ))
         )
       )
    )
  )
  (design mod_copy1 (cellRef mod_copy1 (libraryRef work)))
)