decode.edn

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

(edif top
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 3 9 2 5 15)
      (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 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 PFUMX (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port ALUT (direction INPUT))
           (port BLUT (direction INPUT))
           (port C0 (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 CS_reg1 (direction INPUT))
           (port GSRN (direction INPUT))
         )
         (contents
          (instance data_out_7__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_6__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_5__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_4__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_3__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_2__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_1__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_0__Q (viewRef PRIM (cellRef FD1S1A (libraryRef LUCENT)))          )
          (instance data_out_1_7 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_7 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "A"))
          )
          (instance data_out_1_x0_7 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_6 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_6 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "A"))
          )
          (instance data_out_1_x0_6 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_5 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_5 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "A"))
          )
          (instance data_out_1_x0_5 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_4 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_4 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "A"))
          )
          (instance data_out_1_x0_4 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_3 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "A"))
          )
          (instance data_out_1_x0_3 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_2 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "A"))
          )
          (instance data_out_1_x0_2 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_1 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "A"))
          )
          (instance data_out_1_x0_1 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_0 (viewRef PRIM (cellRef PFUMX (libraryRef LUCENT)))          )
          (instance data_out_1_x1_0 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance data_out_1_x0_0 (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(!C (B A)+C (B+!A))"))
          )
          (instance N_14_i (viewRef PRIM (cellRef ORCALUT4 (libraryRef LUCENT)))
           (property lut_function (string "(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 data_out_0 (joined
           (portRef Q (instanceRef data_out_0__Q))
           (portRef (member data_out 7))
          ))
          (net GSRN (joined
           (portRef GSRN)
          ))
          (net data_out_1Z0Z_7 (joined
           (portRef Z (instanceRef data_out_1_7))
           (portRef D (instanceRef data_out_7__Q))
          ))
          (net reg1_7 (joined
           (portRef (member reg1 0))
           (portRef A (instanceRef data_out_1_x1_7))
          ))
          (net data_out_1_x1Z0Z_7 (joined
           (portRef Z (instanceRef data_out_1_x1_7))
           (portRef ALUT (instanceRef data_out_1_7))
          ))
          (net reg2_7 (joined
           (portRef (member reg2 0))
           (portRef B (instanceRef data_out_1_x0_7))
          ))
          (net reg3_7 (joined
           (portRef (member reg3 0))
           (portRef C (instanceRef data_out_1_x0_7))
          ))
          (net data_out_1_x0Z0Z_7 (joined
           (portRef Z (instanceRef data_out_1_x0_7))
           (portRef BLUT (instanceRef data_out_1_7))
          ))
          (net data_out_1Z0Z_6 (joined
           (portRef Z (instanceRef data_out_1_6))
           (portRef D (instanceRef data_out_6__Q))
          ))
          (net reg1_6 (joined
           (portRef (member reg1 1))
           (portRef A (instanceRef data_out_1_x1_6))
          ))
          (net data_out_1_x1Z0Z_6 (joined
           (portRef Z (instanceRef data_out_1_x1_6))
           (portRef ALUT (instanceRef data_out_1_6))
          ))
          (net reg2_6 (joined
           (portRef (member reg2 1))
           (portRef B (instanceRef data_out_1_x0_6))
          ))
          (net reg3_6 (joined
           (portRef (member reg3 1))
           (portRef C (instanceRef data_out_1_x0_6))
          ))
          (net data_out_1_x0Z0Z_6 (joined
           (portRef Z (instanceRef data_out_1_x0_6))
           (portRef BLUT (instanceRef data_out_1_6))
          ))
          (net data_out_1Z0Z_5 (joined
           (portRef Z (instanceRef data_out_1_5))
           (portRef D (instanceRef data_out_5__Q))
          ))
          (net reg1_5 (joined
           (portRef (member reg1 2))
           (portRef A (instanceRef data_out_1_x1_5))
          ))
          (net data_out_1_x1Z0Z_5 (joined
           (portRef Z (instanceRef data_out_1_x1_5))
           (portRef ALUT (instanceRef data_out_1_5))
          ))
          (net reg2_5 (joined
           (portRef (member reg2 2))
           (portRef B (instanceRef data_out_1_x0_5))
          ))
          (net reg3_5 (joined
           (portRef (member reg3 2))
           (portRef C (instanceRef data_out_1_x0_5))
          ))
          (net data_out_1_x0Z0Z_5 (joined
           (portRef Z (instanceRef data_out_1_x0_5))
           (portRef BLUT (instanceRef data_out_1_5))
          ))
          (net data_out_1Z0Z_4 (joined
           (portRef Z (instanceRef data_out_1_4))
           (portRef D (instanceRef data_out_4__Q))
          ))
          (net reg1_4 (joined
           (portRef (member reg1 3))
           (portRef A (instanceRef data_out_1_x1_4))
          ))
          (net data_out_1_x1Z0Z_4 (joined
           (portRef Z (instanceRef data_out_1_x1_4))
           (portRef ALUT (instanceRef data_out_1_4))
          ))
          (net reg2_4 (joined
           (portRef (member reg2 3))
           (portRef B (instanceRef data_out_1_x0_4))
          ))
          (net reg3_4 (joined
           (portRef (member reg3 3))
           (portRef C (instanceRef data_out_1_x0_4))
          ))
          (net data_out_1_x0Z0Z_4 (joined
           (portRef Z (instanceRef data_out_1_x0_4))
           (portRef BLUT (instanceRef data_out_1_4))
          ))
          (net data_out_1Z0Z_3 (joined
           (portRef Z (instanceRef data_out_1_3))
           (portRef D (instanceRef data_out_3__Q))
          ))
          (net reg1_3 (joined
           (portRef (member reg1 4))
           (portRef A (instanceRef data_out_1_x1_3))
          ))
          (net data_out_1_x1Z0Z_3 (joined
           (portRef Z (instanceRef data_out_1_x1_3))
           (portRef ALUT (instanceRef data_out_1_3))
          ))
          (net reg2_3 (joined
           (portRef (member reg2 4))
           (portRef B (instanceRef data_out_1_x0_3))
          ))
          (net reg3_3 (joined
           (portRef (member reg3 4))
           (portRef C (instanceRef data_out_1_x0_3))
          ))
          (net data_out_1_x0Z0Z_3 (joined
           (portRef Z (instanceRef data_out_1_x0_3))
           (portRef BLUT (instanceRef data_out_1_3))
          ))
          (net data_out_1Z0Z_2 (joined
           (portRef Z (instanceRef data_out_1_2))
           (portRef D (instanceRef data_out_2__Q))
          ))
          (net reg1_2 (joined
           (portRef (member reg1 5))
           (portRef A (instanceRef data_out_1_x1_2))
          ))
          (net data_out_1_x1Z0Z_2 (joined
           (portRef Z (instanceRef data_out_1_x1_2))
           (portRef ALUT (instanceRef data_out_1_2))
          ))
          (net reg2_2 (joined
           (portRef (member reg2 5))
           (portRef B (instanceRef data_out_1_x0_2))
          ))
          (net reg3_2 (joined
           (portRef (member reg3 5))