top.edn

《设计与验证Verilog HDL》光盘内容

           (portRef SP (instanceRef reg1_1__Q))
           (portRef SP (instanceRef reg1_0__Q))
          ))
          (net OE__c (joined
           (portRef OE__c)
           (portRef CK (instanceRef reg3_7__Q))
           (portRef CK (instanceRef reg3_6__Q))
           (portRef CK (instanceRef reg3_5__Q))
           (portRef CK (instanceRef reg3_4__Q))
           (portRef CK (instanceRef reg3_3__Q))
           (portRef CK (instanceRef reg3_2__Q))
           (portRef CK (instanceRef reg3_1__Q))
           (portRef CK (instanceRef reg3_0__Q))
           (portRef CK (instanceRef reg2_7__Q))
           (portRef CK (instanceRef reg2_6__Q))
           (portRef CK (instanceRef reg2_5__Q))
           (portRef CK (instanceRef reg2_4__Q))
           (portRef CK (instanceRef reg2_3__Q))
           (portRef CK (instanceRef reg2_2__Q))
           (portRef CK (instanceRef reg2_1__Q))
           (portRef CK (instanceRef reg2_0__Q))
           (portRef CK (instanceRef reg1_7__Q))
           (portRef CK (instanceRef reg1_6__Q))
           (portRef CK (instanceRef reg1_5__Q))
           (portRef CK (instanceRef reg1_4__Q))
           (portRef CK (instanceRef reg1_3__Q))
           (portRef CK (instanceRef reg1_2__Q))
           (portRef CK (instanceRef reg1_1__Q))
           (portRef CK (instanceRef reg1_0__Q))
          ))
          (net reg1_0 (joined
           (portRef Q (instanceRef reg1_0__Q))
           (portRef (member reg1 7))
          ))
          (net rst_c (joined
           (portRef rst_c)
          ))
         )
       )
    )
    (cell decode_1 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (array (rename addr_c "Addr_c[7:0]") 8) (direction INPUT))
           (port my_rd (direction OUTPUT))
           (port WR__c (direction INPUT))
           (port CS__c (direction INPUT))
           (port CS_reg1 (direction OUTPUT))
           (port CS_reg2 (direction OUTPUT))
           (port rst_c (direction INPUT))
           (port CS_reg3 (direction OUTPUT))
           (port CS__c_i (direction INPUT))
         )
         (contents
          (instance CS_reg312_0_a3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(D (!C (!B A)))"))
          )
          (instance CS_reg3_Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))
           (property GSR (string "DISABLED"))
          )
          (instance CS_reg2_Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))
           (property GSR (string "DISABLED"))
          )
          (instance CS_reg1_Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))
           (property GSR (string "DISABLED"))
          )
          (instance CS_reg1_1_iv (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (!C B+C (B+A))+D (B+A))"))
          )
          (instance CS_reg3_1_iv (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(D+(!C (B A)+C A))"))
          )
          (instance CS_reg2_1_iv (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D C+D (C+(B A)))"))
          )
          (instance CS_reg311_0_a3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(D (C (B A)))"))
          )
          (instance CS_reg310_0_a3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(D (C (B !A)))"))
          )
          (instance CS_reg310_0_a2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(D (C (B !A)))"))
          )
          (instance un1_CS_reg312_2_i_o3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (!B A)+C (B !A))"))
          )
          (instance CS_reg311_0_a3_1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (!B A))"))
          )
          (instance CS_reg311_0_a2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (!B A))"))
          )
          (instance CS_reg310_0_a2_0_1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!B !A)"))
          )
          (instance my_rd_0_a2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(B !A)"))
          )
          (instance GND (viewRef PRIM (cellRef VLO (libraryRef LUCENT)))          )
          (net CS__c_i (joined
           (portRef CS__c_i)
           (portRef CK (instanceRef CS_reg3_Q))
           (portRef CK (instanceRef CS_reg2_Q))
           (portRef CK (instanceRef CS_reg1_Q))
          ))
          (net rst_c (joined
           (portRef rst_c)
          ))
          (net CS_reg1 (joined
           (portRef Q (instanceRef CS_reg1_Q))
           (portRef CS_reg1)
           (portRef A (instanceRef CS_reg1_1_iv))
          ))
          (net CS_reg1_1 (joined
           (portRef Z (instanceRef CS_reg1_1_iv))
           (portRef D (instanceRef CS_reg1_Q))
          ))
          (net CS_reg3 (joined
           (portRef Q (instanceRef CS_reg3_Q))
           (portRef CS_reg3)
           (portRef A (instanceRef CS_reg3_1_iv))
          ))
          (net CS_reg312 (joined
           (portRef Z (instanceRef CS_reg312_0_a3))
           (portRef D (instanceRef CS_reg1_1_iv))
           (portRef D (instanceRef CS_reg3_1_iv))
          ))
          (net CS_reg3_1 (joined
           (portRef Z (instanceRef CS_reg3_1_iv))
           (portRef D (instanceRef CS_reg3_Q))
          ))
          (net CS_reg2 (joined
           (portRef Q (instanceRef CS_reg2_Q))
           (portRef CS_reg2)
           (portRef A (instanceRef CS_reg2_1_iv))
          ))
          (net CS_reg2_1 (joined
           (portRef Z (instanceRef CS_reg2_1_iv))
           (portRef D (instanceRef CS_reg2_Q))
          ))
          (net CS_reg311 (joined
           (portRef Z (instanceRef CS_reg311_0_a3))
           (portRef C (instanceRef CS_reg1_1_iv))
           (portRef C (instanceRef CS_reg2_1_iv))
           (portRef C (instanceRef CS_reg3_1_iv))
          ))
          (net CS_reg310 (joined
           (portRef Z (instanceRef CS_reg310_0_a3))
           (portRef B (instanceRef CS_reg1_1_iv))
           (portRef B (instanceRef CS_reg3_1_iv))
          ))
          (net Addr_c_2 (joined
           (portRef (member addr_c 5))
           (portRef A (instanceRef CS_reg311_0_a3))
           (portRef A (instanceRef CS_reg310_0_a2))
          ))
          (net CS_reg2_1_iv_1 (joined
           (portRef Z (instanceRef CS_reg310_0_a2))
           (portRef A (instanceRef CS_reg312_0_a3))
           (portRef B (instanceRef CS_reg2_1_iv))
           (portRef D (instanceRef CS_reg310_0_a3))
          ))
          (net un1_CS_reg312_2_i_oZ0Z3 (joined
           (portRef Z (instanceRef un1_CS_reg312_2_i_o3))
           (portRef D (instanceRef CS_reg2_1_iv))
          ))
          (net Addr_c_5 (joined
           (portRef (member addr_c 2))
           (portRef B (instanceRef CS_reg311_0_a3_1))
           (portRef B (instanceRef CS_reg310_0_a2))
          ))
          (net Addr_c_7 (joined
           (portRef (member addr_c 0))
           (portRef C (instanceRef CS_reg311_0_a3_1))
           (portRef C (instanceRef CS_reg310_0_a2))
          ))
          (net CS_reg311_0_a3Z0Z_1 (joined
           (portRef Z (instanceRef CS_reg311_0_a3_1))
           (portRef C (instanceRef CS_reg311_0_a3))
          ))
          (net Addr_c_1 (joined
           (portRef (member addr_c 6))
           (portRef A (instanceRef un1_CS_reg312_2_i_o3))
           (portRef A (instanceRef CS_reg311_0_a2))
           (portRef A (instanceRef CS_reg310_0_a3))
           (portRef D (instanceRef CS_reg312_0_a3))
          ))
          (net Addr_c_4 (joined
           (portRef (member addr_c 3))
           (portRef B (instanceRef un1_CS_reg312_2_i_o3))
           (portRef B (instanceRef CS_reg311_0_a2))
           (portRef B (instanceRef CS_reg310_0_a3))
           (portRef C (instanceRef CS_reg312_0_a3))
          ))
          (net Addr_c_6 (joined
           (portRef (member addr_c 1))
           (portRef C (instanceRef un1_CS_reg312_2_i_o3))
           (portRef C (instanceRef CS_reg311_0_a2))
           (portRef C (instanceRef CS_reg310_0_a3))
           (portRef B (instanceRef CS_reg312_0_a3))
          ))
          (net CS_reg311_0_aZ0Z2 (joined
           (portRef Z (instanceRef CS_reg311_0_a2))
           (portRef D (instanceRef CS_reg311_0_a3))
          ))
          (net Addr_c_0 (joined
           (portRef (member addr_c 7))
           (portRef A (instanceRef CS_reg311_0_a3_1))
           (portRef A (instanceRef CS_reg310_0_a2_0_1))
          ))
          (net Addr_c_3 (joined
           (portRef (member addr_c 4))
           (portRef B (instanceRef CS_reg311_0_a3))
           (portRef B (instanceRef CS_reg310_0_a2_0_1))
          ))
          (net CS_reg310_0_a2_0 (joined
           (portRef Z (instanceRef CS_reg310_0_a2_0_1))
           (portRef D (instanceRef CS_reg310_0_a2))
          ))
          (net CS__c (joined
           (portRef CS__c)
           (portRef A (instanceRef my_rd_0_a2))
          ))
          (net WR__c (joined
           (portRef WR__c)
           (portRef B (instanceRef my_rd_0_a2))
          ))
          (net my_rd (joined
           (portRef Z (instanceRef my_rd_0_a2))
           (portRef my_rd)
          ))
          (net GNDZ0 (joined
           (portRef Z (instanceRef GND))
          ))
         )
       )
    )
    (cell top (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename addr "Addr[7:0]") 8) (direction INPUT))
           (port (array (rename data_bus "data_bus[7:0]") 8) (direction INOUT))
           (port rst (direction INPUT)
 )
           (port CS_ (direction INPUT)
 )
           (port OE_ (direction INPUT)
 )
           (port WR_ (direction INPUT)
 )
         )
         (contents
          (instance GND (viewRef PRIM (cellRef VLO (libraryRef LUCENT)))          )
          (instance CS__c_i (viewRef PRIM (cellRef INV (libraryRef LUCENT)))          )
          (instance data_bus_pad_7 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance data_bus_pad_6 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance data_bus_pad_5 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance data_bus_pad_4 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance data_bus_pad_3 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance data_bus_pad_2 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance data_bus_pad_1 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance data_bus_pad_0 (viewRef PRIM (cellRef BB (libraryRef LUCENT)))          )
          (instance Addr_pad_7 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance Addr_pad_6 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance Addr_pad_5 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance Addr_pad_4 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance Addr_pad_3 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance Addr_pad_2 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance Addr_pad_1 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance Addr_pad_0 (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance WR__pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance OE__pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance CS__pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance rst_pad (viewRef PRIM (cellRef IB (libraryRef LUCENT)))          )
          (instance GSR (viewRef PRIM (cellRef GSR (libraryRef LUCENT)))
          )
          (instance g0_1_a2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B !A))"))
          )
          (instance g0_0_a2_0_a2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(D (C (!B !A)))"))
          )
          (instance g0_0_a2_0_a2_0 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!B !A)"))
          )
          (instance data_bus_1_i (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(B+A)"))
          )
          (instance decode_u1 (viewRef netlist (cellRef decode_1))          )
          (instance write_reg_u1 (viewRef netlist (cellRef write_reg_1))          )
          (instance read_reg_u1 (viewRef netlist (cellRef read_reg_1))          )
          (net GNDZ0 (joined
           (portRef Z (instanceRef GND))
          ))
          (net CS_reg1 (joined
           (portRef CS_reg1 (instanceRef decode_u1))
           (portRef CS_reg1 (instanceRef read_reg_u1))
           (portRef CS_reg1 (instanceRef write_reg_u1))
           (portRef A (instanceRef g0_0_a2_0_a2))
           (portRef B (instanceRef g0_1_a2))
          ))
          (net write_reg_u1_reg1_0_sqmuxa (joined
           (portRef Z (instanceRef g0_1_a2))
           (portRef reg1_0_sqmuxa (instanceRef write_reg_u1))
          ))
          (net CS_reg2 (joined
           (portRef CS_reg2 (instanceRef decode_u1))
           (portRef CS_reg2 (instanceRef read_reg_u1))
           (portRef CS_reg2 (instanceRef write_reg_u1))
           (portRef B (instanceRef g0_0_a2_0_a2))
          ))
          (net CS_reg3 (joined
           (portRef CS_reg3 (instanceRef decode_u1))
           (portRef CS_reg3 (instanceRef read_reg_u1))
           (portRef C (instanceRef g0_0_a2_0_a2))
          ))
          (net my_wr (joined
           (portRef Z (instanceRef g0_0_a2_0_a2_0))
           (portRef D (instanceRef g0_0_a2_0_a2))
          ))
          (net write_reg_u1_reg3_1_sqmuxa (joined
           (portRef Z (instanceRef g0_0_a2_0_a2))
           (portRef reg3_1_sqmuxa (instanceRef write_reg_u1))
          ))
          (net data_bus_1_iZ0 (joined
           (portRef Z (instanceRef data_bus_1_i))
           (portRef T (instanceRef data_bus_pad_0))