top.edn

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

(edif top
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 3 9 2 0 37)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "8.1.0, Build 532R"))
     )
   )
  (library LUCENT
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell BB (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port B (direction INOUT))
           (port I (direction INPUT))
           (port T (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell IB (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell FD1P3AX (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port SP (direction INPUT))
           (port CK (direction INPUT))
           (port Q (direction OUTPUT))
         )
       )
    )
    (cell FD1S1A (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port CK (direction INPUT))
           (port Q (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 GSR (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port GSR (direction INPUT))
         )
       )
    )
    (cell INV (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A (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 read_reg_1 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (array (rename reg3 "reg3[7:0]") 8) (direction INPUT))
           (port (array (rename reg2 "reg2[7:0]") 8) (direction INPUT))
           (port (array (rename reg1 "reg1[7:0]") 8) (direction INPUT))
           (port (array (rename data_out "data_out[7:0]") 8) (direction OUTPUT))
           (port CS_reg3 (direction INPUT))
           (port CS_reg2 (direction INPUT))
           (port my_rd (direction INPUT))
           (port CS_reg1 (direction INPUT))
           (port rst_c (direction INPUT))
           (port OE__c (direction INPUT))
         )
         (contents
          (instance data_out_7__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_6__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_5__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_4__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_3__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_2__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_1__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_0__Q (viewRef PRIM (cellRef FD1P3AX (libraryRef LUCENT)))          )
          (instance data_out_8_0 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_8_1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_8_2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_8_3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_8_4 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_8_5 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_8_6 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_8_7 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D (C (B !A))+D (C (B+A)))"))
          )
          (instance data_out_3_sqmuxa_i (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!D+(C+(B+A)))"))
          )
          (instance data_out_8_0_7 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_8_0_6 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_8_0_5 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_8_0_4 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_8_0_3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_8_0_2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_8_0_1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_8_0_0 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance GND (viewRef PRIM (cellRef VLO (libraryRef LUCENT)))          )
          (net data_out_7 (joined
           (portRef Q (instanceRef data_out_7__Q))
           (portRef (member data_out 0))
          ))
          (net data_out_6 (joined
           (portRef Q (instanceRef data_out_6__Q))
           (portRef (member data_out 1))
          ))
          (net data_out_5 (joined
           (portRef Q (instanceRef data_out_5__Q))
           (portRef (member data_out 2))
          ))
          (net data_out_4 (joined
           (portRef Q (instanceRef data_out_4__Q))
           (portRef (member data_out 3))
          ))
          (net data_out_3 (joined
           (portRef Q (instanceRef data_out_3__Q))
           (portRef (member data_out 4))
          ))
          (net data_out_2 (joined
           (portRef Q (instanceRef data_out_2__Q))
           (portRef (member data_out 5))
          ))
          (net data_out_1 (joined
           (portRef Q (instanceRef data_out_1__Q))
           (portRef (member data_out 6))
          ))
          (net OE__c (joined
           (portRef OE__c)
           (portRef CK (instanceRef data_out_7__Q))
           (portRef CK (instanceRef data_out_6__Q))
           (portRef CK (instanceRef data_out_5__Q))
           (portRef CK (instanceRef data_out_4__Q))
           (portRef CK (instanceRef data_out_3__Q))
           (portRef CK (instanceRef data_out_2__Q))
           (portRef CK (instanceRef data_out_1__Q))
           (portRef CK (instanceRef data_out_0__Q))
          ))
          (net data_out_0 (joined
           (portRef Q (instanceRef data_out_0__Q))
           (portRef (member data_out 7))
          ))
          (net rst_c (joined
           (portRef rst_c)
          ))
          (net reg1_0 (joined
           (portRef (member reg1 7))
           (portRef D (instanceRef data_out_8_0))
          ))
          (net data_out_8Z0Z_0 (joined
           (portRef Z (instanceRef data_out_8_0))
           (portRef D (instanceRef data_out_0__Q))
          ))
          (net reg1_1 (joined
           (portRef (member reg1 6))
           (portRef D (instanceRef data_out_8_1))
          ))
          (net data_out_8Z0Z_1 (joined
           (portRef Z (instanceRef data_out_8_1))
           (portRef D (instanceRef data_out_1__Q))
          ))
          (net reg1_2 (joined
           (portRef (member reg1 5))
           (portRef D (instanceRef data_out_8_2))
          ))
          (net data_out_8Z0Z_2 (joined
           (portRef Z (instanceRef data_out_8_2))
           (portRef D (instanceRef data_out_2__Q))
          ))
          (net reg1_3 (joined
           (portRef (member reg1 4))
           (portRef D (instanceRef data_out_8_3))
          ))
          (net data_out_8Z0Z_3 (joined
           (portRef Z (instanceRef data_out_8_3))
           (portRef D (instanceRef data_out_3__Q))
          ))
          (net reg1_4 (joined
           (portRef (member reg1 3))
           (portRef D (instanceRef data_out_8_4))
          ))
          (net data_out_8Z0Z_4 (joined
           (portRef Z (instanceRef data_out_8_4))
           (portRef D (instanceRef data_out_4__Q))
          ))
          (net reg1_5 (joined
           (portRef (member reg1 2))
           (portRef D (instanceRef data_out_8_5))
          ))
          (net data_out_8Z0Z_5 (joined
           (portRef Z (instanceRef data_out_8_5))
           (portRef D (instanceRef data_out_5__Q))
          ))
          (net reg1_6 (joined
           (portRef (member reg1 1))
           (portRef D (instanceRef data_out_8_6))
          ))
          (net data_out_8Z0Z_6 (joined
           (portRef Z (instanceRef data_out_8_6))
           (portRef D (instanceRef data_out_6__Q))
          ))
          (net reg1_7 (joined
           (portRef (member reg1 0))
           (portRef D (instanceRef data_out_8_7))
          ))
          (net data_out_8Z0Z_7 (joined
           (portRef Z (instanceRef data_out_8_7))
           (portRef D (instanceRef data_out_7__Q))
          ))
          (net CS_reg1 (joined
           (portRef CS_reg1)
           (portRef A (instanceRef data_out_8_7))
           (portRef A (instanceRef data_out_8_6))
           (portRef A (instanceRef data_out_8_5))
           (portRef A (instanceRef data_out_8_4))
           (portRef A (instanceRef data_out_8_3))
           (portRef A (instanceRef data_out_8_2))
           (portRef A (instanceRef data_out_8_1))
           (portRef A (instanceRef data_out_8_0))
           (portRef A (instanceRef data_out_3_sqmuxa_i))
          ))
          (net CS_reg3 (joined
           (portRef CS_reg3)
           (portRef C (instanceRef data_out_3_sqmuxa_i))
          ))
          (net my_rd (joined
           (portRef my_rd)
           (portRef C (instanceRef data_out_8_7))
           (portRef C (instanceRef data_out_8_6))
           (portRef C (instanceRef data_out_8_5))
           (portRef C (instanceRef data_out_8_4))
           (portRef C (instanceRef data_out_8_3))
           (portRef C (instanceRef data_out_8_2))
           (portRef C (instanceRef data_out_8_1))
           (portRef C (instanceRef data_out_8_0))
           (portRef D (instanceRef data_out_3_sqmuxa_i))
          ))
          (net data_out_3_sqmuxa_iZ0 (joined
           (portRef Z (instanceRef data_out_3_sqmuxa_i))
           (portRef SP (instanceRef data_out_0__Q))
           (portRef SP (instanceRef data_out_1__Q))
           (portRef SP (instanceRef data_out_2__Q))
           (portRef SP (instanceRef data_out_3__Q))
           (portRef SP (instanceRef data_out_4__Q))
           (portRef SP (instanceRef data_out_5__Q))
           (portRef SP (instanceRef data_out_6__Q))
           (portRef SP (instanceRef data_out_7__Q))
          ))
          (net reg2_7 (joined
           (portRef (member reg2 0))
           (portRef B (instanceRef data_out_8_0_7))
          ))
          (net reg3_7 (joined
           (portRef (member reg3 0))
           (portRef C (instanceRef data_out_8_0_7))
          ))
          (net data_out_8_0Z0Z_7 (joined
           (portRef Z (instanceRef data_out_8_0_7))
           (portRef B (instanceRef data_out_8_7))
          ))
          (net reg2_6 (joined
           (portRef (member reg2 1))
           (portRef B (instanceRef data_out_8_0_6))
          ))