addr_select.edi

一个组合逻辑实例,完成地址选择,读写信号产生等时序

(edif ADDR_SELECT
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 12 3 17 53 40)
      (author "Synplicity, Inc.")
      (program "Synplify" (version "1.0, 8.2.0, Build 035R"))
     )
   )
  (external (rename mach2 "mach")
    (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))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell ADDR_SELECT (cellType GENERIC)
       (view behavioral (viewType NETLIST)
         (interface
           (port (array (rename A "a(2:0)") 3) (direction INPUT))
           (port (array (rename S "s(7:0)") 8) (direction OUTPUT))
         )
         (contents
          (instance (rename aZ0Z_0 "a[0]") (viewRef prim (cellRef IBUF (libraryRef mach2)))          )
          (instance (rename aZ0Z_1 "a[1]") (viewRef prim (cellRef IBUF (libraryRef mach2)))          )
          (instance (rename aZ0Z_2 "a[2]") (viewRef prim (cellRef IBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_0 "s[0]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_1 "s[1]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_2 "s[2]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_3 "s[3]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_4 "s[4]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_5 "s[5]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_6 "s[6]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance (rename sZ0Z_7 "s[7]") (viewRef prim (cellRef OBUF (libraryRef mach2)))          )
          (instance s11_0_a2_1 (viewRef prim (cellRef AND2 (libraryRef mach2)))          )
          (instance s11_0_a2 (viewRef prim (cellRef AND2 (libraryRef mach2)))          )
          (instance s10_0_a2_1 (viewRef prim (cellRef AND2 (libraryRef mach2)))          )
          (instance s10_0_a2 (viewRef prim (cellRef AND2 (libraryRef mach2)))          )
          (instance s9_0_a2_1 (viewRef prim (cellRef AND2 (libraryRef mach2)))          )
          (instance s9_0_a2 (viewRef prim (cellRef AND2 (libraryRef mach2)))          )
          (instance I_18 (viewRef prim (cellRef INV (libraryRef mach2)))          )
          (instance I_16 (viewRef prim (cellRef INV (libraryRef mach2)))          )
          (instance I_17 (viewRef prim (cellRef INV (libraryRef mach2)))          )
          (net GND (joined
           (portRef I0 (instanceRef sZ0Z_3))
           (portRef I0 (instanceRef sZ0Z_4))
           (portRef I0 (instanceRef sZ0Z_5))
           (portRef I0 (instanceRef sZ0Z_6))
           (portRef I0 (instanceRef sZ0Z_7))
          ))
          (net s9 (joined
           (portRef O (instanceRef s9_0_a2))
           (portRef I0 (instanceRef sZ0Z_0))
          ))
          (net s10 (joined
           (portRef O (instanceRef s10_0_a2))
           (portRef I0 (instanceRef sZ0Z_1))
          ))
          (net s11 (joined
           (portRef O (instanceRef s11_0_a2))
           (portRef I0 (instanceRef sZ0Z_2))
          ))
          (net (rename a_i_0 "a_i[0]") (joined
           (portRef O (instanceRef I_16))
           (portRef I1 (instanceRef s10_0_a2))
           (portRef I1 (instanceRef s11_0_a2))
          ))
          (net (rename a_i_1 "a_i[1]") (joined
           (portRef O (instanceRef I_17))
           (portRef I1 (instanceRef s9_0_a2))
           (portRef I0 (instanceRef s11_0_a2_1))
          ))
          (net (rename a_i_2 "a_i[2]") (joined
           (portRef O (instanceRef I_18))
           (portRef I0 (instanceRef s9_0_a2_1))
           (portRef I0 (instanceRef s10_0_a2_1))
          ))
          (net (rename a_c_0 "a_c[0]") (joined
           (portRef O (instanceRef aZ0Z_0))
           (portRef I0 (instanceRef I_16))
           (portRef I1 (instanceRef s9_0_a2_1))
          ))
          (net (rename a_0 "a[0]") (joined
           (portRef (member A 2))
           (portRef I0 (instanceRef aZ0Z_0))
          ))
          (net (rename a_c_1 "a_c[1]") (joined
           (portRef O (instanceRef aZ0Z_1))
           (portRef I0 (instanceRef I_17))
           (portRef I1 (instanceRef s10_0_a2_1))
          ))
          (net (rename a_1 "a[1]") (joined
           (portRef (member A 1))
           (portRef I0 (instanceRef aZ0Z_1))
          ))
          (net (rename a_c_2 "a_c[2]") (joined
           (portRef O (instanceRef aZ0Z_2))
           (portRef I0 (instanceRef I_18))
           (portRef I1 (instanceRef s11_0_a2_1))
          ))
          (net (rename a_2 "a[2]") (joined
           (portRef (member A 0))
           (portRef I0 (instanceRef aZ0Z_2))
          ))
          (net (rename s_0 "s[0]") (joined
           (portRef O (instanceRef sZ0Z_0))
           (portRef (member S 7))
          ))
          (net (rename s_1 "s[1]") (joined
           (portRef O (instanceRef sZ0Z_1))
           (portRef (member S 6))
          ))
          (net (rename s_2 "s[2]") (joined
           (portRef O (instanceRef sZ0Z_2))
           (portRef (member S 5))
          ))
          (net (rename s_3 "s[3]") (joined
           (portRef O (instanceRef sZ0Z_3))
           (portRef (member S 4))
          ))
          (net (rename s_4 "s[4]") (joined
           (portRef O (instanceRef sZ0Z_4))
           (portRef (member S 3))
          ))
          (net (rename s_5 "s[5]") (joined
           (portRef O (instanceRef sZ0Z_5))
           (portRef (member S 2))
          ))
          (net (rename s_6 "s[6]") (joined
           (portRef O (instanceRef sZ0Z_6))
           (portRef (member S 1))
          ))
          (net (rename s_7 "s[7]") (joined
           (portRef O (instanceRef sZ0Z_7))
           (portRef (member S 0))
          ))
          (net s11_1 (joined
           (portRef O (instanceRef s11_0_a2_1))
           (portRef I0 (instanceRef s11_0_a2))
          ))
          (net s10_1 (joined
           (portRef O (instanceRef s10_0_a2_1))
           (portRef I0 (instanceRef s10_0_a2))
          ))
          (net s9_1 (joined
           (portRef O (instanceRef s9_0_a2_1))
           (portRef I0 (instanceRef s9_0_a2))
          ))
          (net VCC (joined
          ))
         )
       )
    )
  )
  (design ADDR_SELECT (cellRef ADDR_SELECT (libraryRef work)))
)