1.基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：包括配置單元、控制單元、斷言文件庫、驗證所需的斷言文件、待驗證存儲器控制器、連接單元、檢測單元：
配置單元：人工錄入配置參數，并將配置參數傳輸至斷言文件庫；
控制單元：人工錄入控制參數，并將控制參數傳輸至斷言文件庫；
斷言文件庫：包括多個人工預先錄入的斷言文件；接收配置單元傳來的配置參數；接收控制單元傳來的控制參數；根據配置參數的數值和控制參數的數值選擇驗證所需的斷言文件；
待驗證存儲器控制器：生成接口信號時序，通過連接單元將接口信號時序傳輸至驗證所需的斷言文件；接收檢測單元傳來的失敗匹配信息，并根據檢測單元傳來的失敗匹配信息對接口信號時序進行修改；
驗證所需的斷言文件：包括接口信號時序要求；接收待驗證存儲器控制器傳來的接口信號時序，對接口信號時序和驗證所需的斷言文件中的接口信號時序要求進行匹配，生成匹配信息，并將匹配信息傳輸至檢測單元；所述匹配信息包括匹配成功信號INFO_SUC、或匹配失敗信號INFO_FAIL和失敗匹配信息；
檢測單元：接收驗證所需的斷言文件傳來的匹配信息，對匹配信息進行檢測，當檢測到匹配成功信號INFO_SUC時，不做處理；當檢測到匹配失敗信號INFO_FAIL時，將失敗匹配信息傳輸至待驗證存儲器控制器；
直至所有匹配信息中全部為匹配成功信號時，驗證結束。
2.根據權利要求1所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：所述的配置參數包括：
type_prom為是否產生prom類型斷言；
type_sram為是否產生sram類型斷言；
type_sdram為是否產生sdram類型斷言；
bw_prom為prom存儲器位寬；
bw_sram為sram存儲器位寬；
bw_sdram為sdram存儲器位寬；
n_prom為prom存儲器數量；
n_sram為sram存儲器數量；
n_sdram為sdram存儲器數量；
rw_prom為prom讀等待周期數；
rw_sram為sram讀等待周期數；
ww_prom為prom寫等待周期數；
ww_sram為sram寫等待周期數；
cas_sdram為sdram的cas延時等待周期數；
type_mem為自定義設備類型；
n_mem為自定義設備數量；
bw_mem為自定義設備存儲器位寬；
info_suc為斷言成功信息；
info_fail為斷言失敗信息；
其中type_prom、type_sram、type_sdram、type_mem取值為0或1；bw_prom、bw_prom、bw_sdram、bw_mem取值為8或16或32或64中之一，n_prom、n_sram、n_sdram、n_mem取值為任一正整數。
3.根據權利要求2所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：所述的控制參數包括：
SVA_EN為待驗證存儲器控制器斷言功能使能參數，當其取值為1時，使能斷言功能，當其取值為0時，禁止斷言功能；
ASSERTSTART_PROM為PROM斷言啟動參數，當SVA_EN取值為1且當ASSERTSTART_PROM取值為1時，啟用驗證所需的斷言文件中的PROM斷言文件；當ASSERTSTART_PROM取值為0時，不啟用驗證所需的斷言文件中的PROM斷言文件；
ASSERTSTART_SRAM為SRAM斷言啟動參數，當SVA_EN取值為1且ASSERTSTART_SRAM取值為1時，啟用驗證所需的斷言文件中的SRAM斷言文件，當ASSERTSTART_SRAM取值為0時，不啟用驗證所需的斷言文件中的SRAM斷言文件；
ASSERTSTART_SDRAM為SDRAM斷言啟動參數，當SVA_EN取值為1且ASSERTSTART_SDRAM取值為1時，啟用驗證所需的斷言文件中的SDRAM斷言文件，當ASSERTSTART_SDRAM取值為0時，不啟用驗證所需的斷言文件中的SDRAM斷言文件；
MSG為測試程序中可配置的參數，當測試程序中設置MSG為ASSERT_SRAM TRUN_ON時，可設置驗證環境中的控制參數ASSERTSTART_SRAM為1，當測試程序中設置MSG為ASSERT_SRAM TRUN_OFF時，可設置驗證環境中的控制參數ASSERTSTART_SRAM為0；當測試程序中設置MSG為ASSERT_SDRAM TRUN_ON時，可設置驗證環境中的控制參數ASSERTSTART_SDRAM為1，當測試程序中設置MSG為ASSERT_SDRAM TRUN_OFF時，可設置驗證環境中的控制參數ASSERTSTART_SDRAM為0。
4.根據權利要求3所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：所述的驗證所需的斷言文件包括PROM斷言文件、SRAM斷言文件或SDRAM斷言文件中的一種或多種。
5.根據權利要求4所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：選擇配置參數中的類型、存儲器位寬、存儲器數量和等待周期數與多個人工預先錄入的斷言文件中相同的斷言文件作為驗證所需的斷言文件；根據SVA_EN、ASSERTSTART_PROM、ASSERTSTART_SRAM和ASSERTSTART_SDRAM的取值，判斷驗證所需的斷言文件中，PROM斷言文件、SRAM斷言文件和SDRAM斷言文件是否啟用。
6.根據權利要求5所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：所述的PROM斷言文件、SRAM斷言文件和SDRAM斷言文件均包括接口信號時序要求。
7.根據權利要求6所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：所述的接口信號時序包括：
PROM_RST[N_PROM]為PROM復位信號；
PROM_CLK[N_PROM]為PROM時鐘信號；
PROM_ADDR[N_PROM]為PROM地址信號；
PROM_DATA[N_PROM]為PROM數據信號；
PROM_SN[N_PROM]為PROM片選信號；
PROM_WRITEN[N_PROM]為PROM寫使能信號；
PROM_OEN[N_PROM]為PROM讀使能信號；
N_PROM為待驗證存儲器控制器所具有的PROM接口的數量；
SRAM_RST[N_SRAM]為SRAM復位信號；
SRAM_CLK[N_SRAM]為SRAM時鐘信號；
SRAM_ADDR[N_SRAM]為SRAM地址信號；
SRAM_DATA[N_SRAM]為SRAM數據信號；
SRAM_SN[N_SRAM]為SRAM片選信號；
SRAM_WRITEN[N_SRAM]為SRAM寫使能信號；
SRAM_OEN[N_SRAM]為SRAM讀使能信號；
N_SRAM為待驗證存儲器控制器所具有的SRAM接口的數量；
SDRAM_RST[N_SDRAM]為SDRAM復位信號；
SDRAM_CLK[N_SDRAM]為SDRAM時鐘信號；
SDRAM_SDCSN[N_SDRAM]為SDRAM片選信號；
SDRAM_SDRASN[N_SDRAM]為SDRAM行地址選擇信號；
SDRAM_SDCASN[N_SDRAM]為SDRAM列地址選擇信號；
SDRAM_SDWEN[N_SDRAM]為SDRAM寫使能信號；
SDRAM_SDDQM[N_SDRAM]為SDRAM字節選通信號；
N_SDRAM為待驗證存儲器控制器所具有的SDRAM接口的數量；
其中N_PROM、N_SRAM、N_SDRAM的個數可為任一正整數。
8.根據權利要求7所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：所述的接口信號時序要求為：
要求PROM復位信號PROM_RST[N_PROM取值為0或1；
要求PROM時鐘信號PROM_CLK[N_PROM]取值為0或1；
要求PROM地址信號PROM_ADDR[N_PROM]取值為0或1；
要求PROM數據信號PROM_DATA[N_PROM]取值為0或1；
要求PROM片選信號PROM_SN[N_PROM]取值為0或1；
要求PROM寫使能信號PROM_WRITEN[N_PROM]取值為0或1；
要求PROM讀使能信號PROM_OEN[N_PROM]取值為0或1；
要求SRAM復位信號SRAM_RST[N_SRAM]取值為0或1；
要求SRAM時鐘信號SRAM_CLK[N_SRAM]取值為0或1；
要求SRAM地址信號SRAM_ADDR[N_SRAM]取值為0或1；
要求SRAM數據信號SRAM_DATA[N_SRAM]取值為0或1；
要求SRAM片選信號SRAM_SN[N_SRAM]取值為0或1；
要求SRAM寫使能信號SRAM_WRITEN[N_SRAM]取值為0或1；
要求SRAM讀使能信號SRAM_OEN[N_SRAM]取值為0或1；
要求SDRAM復位信號SDRAM_RST[N_SDRAM]取值為0或1；
要求SDRAM時鐘信號SDRAM_CLK[N_SDRAM]取值為0或1；
要求SDRAM片選信號SDRAM_SDCSN[N_SDRAM]取值為0或1；
要求SDRAM行地址選擇信號SDRAM_SDRASN[N_SDRAM]取值為0或1；
要求SDRAM列地址選擇信號SDRAM_SDCASN[N_SDRAM]取值為0或1；
要求SDRAM寫使能信號SDRAM_SDWEN[N_SDRAM]取值為0或1；
要求SDRAM字節選通信號SDRAM_SDDQM[N_SDRAM]取值為0或1。
9.根據權利要求8所述的基于斷言的存儲器控制器接口時序參數化驗證系統，其特征在于：當接收待驗證存儲器控制器傳來的接口信號時序的取值與驗證所需的斷言文件中接口信號時序要求相同時，認為匹配，否則認為不匹配。