nandflash.edf

用VHDL开发的NANDFLASH的读写程序,给出 NANDFLASH的时序正确的读写

(edif (rename NANDFLASH "TEST_NANDFLASH")
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2008 11 25 16 44 12)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "Version 8.5, mapper 8.4.0.p, Build 075R"))
     )
   )
  (external lattice
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell XBIDI1 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port XB0 (direction INOUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port OE (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell XINPUT (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port XI0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell XOUTPUT (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port XO0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell OR2 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A1 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell AND2 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A1 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell INV (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port ZN0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell BI11 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port XB0 (direction INOUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port OE (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell IB11 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port XI0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell MUX2 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A1 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port S0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell OB11 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port XO0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell FD11 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Q0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port D0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port CLK (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
    (cell XOR2 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Z0 (direction OUTPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A0 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
           (port A1 (direction INPUT)
           (property crossref (string "0:0:0:0:0"))
 )
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell (rename NANDFLASH "TEST_NANDFLASH") (cellType GENERIC)
      (property file5 (string "d:\synplicity\fpga_85\lib\vhd\arith.vhd"))
      (property file4 (string "d:\synplicity\fpga_85\lib\vhd\unsigned.vhd"))
      (property file3 (string "d:\synplicity\fpga_85\lib\vhd\std1164.vhd"))
      (property file2 (string "d:\synplicity\nandflash\nandflash.vhd"))
      (property file1 (string "d:\synplicity\fpga_85\lib\vhd\std.vhd"))
      (property file0 (string "noname"))
       (view translated (viewType NETLIST)
         (interface
           (port (array (rename CTRL "ctrl(3:0)") 4) (direction INPUT)
           (property crossref (string "2:25:6:25:9"))
 )
           (port (array (rename NFL_DATA "NFL_DATA(7:0)") 8) (direction INOUT)
           (property crossref (string "2:32:6:32:13"))
 )
           (port (array (rename ID "ID(31:0)") 32) (direction OUTPUT)
           (property crossref (string "2:33:6:33:7"))
 )
           (port clk (direction INPUT)
           (property crossref (string "2:23:6:23:8"))
 )
           (port wr_n (direction INPUT)
           (property crossref (string "2:26:6:26:9"))
 )
           (port NFL_CLE (direction OUTPUT)
           (property crossref (string "2:27:6:27:12"))
 )
           (port NFL_ALE (direction OUTPUT)
           (property crossref (string "2:28:6:28:12"))
 )
           (port NFL_nCE (direction OUTPUT)
           (property crossref (string "2:29:6:29:12"))
 )
           (port NFL_nWE (direction OUTPUT)
           (property crossref (string "2:30:6:30:12"))
 )
           (port NFL_nRE (direction OUTPUT)
           (property crossref (string "2:31:6:31:12"))
 )
         )
         (contents
          (instance (rename OP_STATE_h_OP_STATE_4 "OP_STATE_h.OP_STATE[4]") (viewRef prim (cellRef FD11 (libraryRef lattice)))
           (property crossref (string "2:265:15:265:62"))
          )
          (instance (rename OP_STATE_h_OP_STATE_3 "OP_STATE_h.OP_STATE[3]") (viewRef prim (cellRef FD11 (libraryRef lattice)))
           (property crossref (string "2:273:15:273:62"))
          )
          (instance (rename OP_STATE_h_OP_STATE_2 "OP_STATE_h.OP_STATE[2]") (viewRef prim (cellRef FD11 (libraryRef lattice)))
           (property crossref (string "2:282:15:282:56"))
          )
          (instance (rename OP_STATE_h_OP_STATE_1 "OP_STATE_h.OP_STATE[1]") (viewRef prim (cellRef FD11 (libraryRef lattice)))
           (property crossref (string "2:287:15:287:62"))
          )
          (instance (rename OP_STATE_h_OP_STATE_0 "OP_STATE_h.OP_STATE[0]") (viewRef prim (cellRef FD11 (libraryRef lattice)))
           (property crossref (string "2:295:15:295:62"))
          )
          (instance (rename OP_STATE_h_OP_STATE_i_10 "OP_STATE_h.OP_STATE_i[10]") (viewRef prim (cellRef FD11 (libraryRef lattice)))
           (property crossref (string "2:244:15:244:55"))
          )