本技術(shù)涉及半導(dǎo)體，特別是涉及一種相變存儲(chǔ)器陣列的仿真驗(yàn)證方法及系統(tǒng)。

背景技術(shù)：

1、隨著半導(dǎo)體制造技術(shù)的發(fā)展，作為數(shù)據(jù)存儲(chǔ)的專用芯片，相變存儲(chǔ)器(phasechange?memory，pcm)的數(shù)據(jù)容量飛速增長(zhǎng)，相變存儲(chǔ)器陣列的電路規(guī)模愈發(fā)龐大。

2、相變存儲(chǔ)器陣列具有如將驅(qū)動(dòng)電路提供的電信號(hào)傳遞至各個(gè)獨(dú)立的相變存儲(chǔ)單元，以通過相變存儲(chǔ)單元的電特性實(shí)現(xiàn)數(shù)據(jù)的存儲(chǔ)，以及通過不同的字線和位線的排列組合實(shí)現(xiàn)物理地址的譯碼等多個(gè)方面的功能。目前，通常通過模擬spice(simulationprogram?with?integrated?circuit?emphasis)仿真或模擬數(shù)字混合仿真(ams)的方式，對(duì)相變存儲(chǔ)器陣列的功能進(jìn)行仿真驗(yàn)證。然而，模擬spice仿真對(duì)每個(gè)單獨(dú)的相變存儲(chǔ)單元都需要進(jìn)行詳細(xì)的模型描述和運(yùn)算，在對(duì)大規(guī)模的存儲(chǔ)單元電路進(jìn)行仿真時(shí)，模擬spice仿真的運(yùn)算量及其龐大，一次完整的模擬spice仿真需耗費(fèi)數(shù)十小時(shí)之久；而模擬數(shù)字混合仿真則是對(duì)每個(gè)單獨(dú)的相變存儲(chǔ)單元分別建立verilog?a模型后結(jié)合驅(qū)動(dòng)電路進(jìn)行仿真，一次仿真也需耗費(fèi)十?dāng)?shù)小時(shí)。在大規(guī)模測(cè)試用例下，模擬spice仿真和模擬數(shù)字混合仿真均需占用大量的仿真時(shí)間與計(jì)算資源，導(dǎo)致產(chǎn)品的研發(fā)周期較長(zhǎng)，研發(fā)成本較高。

3、由此，如何縮短對(duì)相變存儲(chǔ)器陣列進(jìn)行仿真驗(yàn)證所需的時(shí)間，成為需要解決的問題。

技術(shù)實(shí)現(xiàn)思路

1、基于上述問題，本技術(shù)提供了一種相變存儲(chǔ)器陣列的仿真驗(yàn)證方法及系統(tǒng)，可以縮短對(duì)相變存儲(chǔ)器陣列進(jìn)行仿真驗(yàn)證所需的時(shí)間。

2、本技術(shù)實(shí)施例公開了如下技術(shù)方案：

3、第一方面，本技術(shù)實(shí)施例提供了一種相變存儲(chǔ)器陣列的仿真驗(yàn)證方法，所述方法包括：

4、獲取驗(yàn)證環(huán)境提供的數(shù)據(jù)存取命令；所述數(shù)據(jù)存取命令為讀命令或?qū)懨?，所述?shù)據(jù)存取命令包括目標(biāo)地址；

5、基于所述目標(biāo)地址從多個(gè)核心模型中確定目標(biāo)核心模型；所述核心模型以相變存儲(chǔ)器中預(yù)設(shè)數(shù)量的相變存儲(chǔ)單元為整體建模得到；

6、基于所述數(shù)據(jù)存取命令，通過驅(qū)動(dòng)電路向所述目標(biāo)核心模型傳遞電信號(hào)，以模擬操作所述目標(biāo)地址對(duì)應(yīng)的相變存儲(chǔ)單元；

7、向所述驗(yàn)證環(huán)境傳輸所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)，以通過所述驗(yàn)證環(huán)境驗(yàn)證所述相變存儲(chǔ)器的功能。

8、可選地，所述數(shù)據(jù)存取命令為讀命令，所述向所述驗(yàn)證環(huán)境傳輸所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)，以通過所述驗(yàn)證環(huán)境驗(yàn)證所述相變存儲(chǔ)器的功能，包括：

9、通過所述驅(qū)動(dòng)電路向所述驗(yàn)證環(huán)境傳輸所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)；

10、所述驗(yàn)證環(huán)境比較所述驅(qū)動(dòng)電路讀取的數(shù)據(jù)與預(yù)先記錄的所述目標(biāo)核心模型對(duì)應(yīng)寫命令中數(shù)據(jù)的一致性，以驗(yàn)證所述相變存儲(chǔ)器的讀功能。

11、可選地，所述數(shù)據(jù)存取命令為寫命令，所述向所述驗(yàn)證環(huán)境傳輸所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)，以通過所述驗(yàn)證環(huán)境驗(yàn)證所述相變存儲(chǔ)器的功能，包括：

12、通過所述接口向所述驗(yàn)證環(huán)境傳輸所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)；

13、所述驗(yàn)證環(huán)境比較所述目標(biāo)核心模型中所存儲(chǔ)數(shù)據(jù)與所述寫命令中數(shù)據(jù)的一致性，以驗(yàn)證所述相變存儲(chǔ)器的寫功能。

14、可選地，所述基于所述目標(biāo)地址從多個(gè)所述核心模型中確定目標(biāo)核心模型，包括：

15、基于所述目標(biāo)地址，利用位圖算法得到字線索引和位線索引；

16、基于所述字線索引和位線索引，利用分塊偏移算法從多個(gè)所述核心模型中確定目標(biāo)核心模型。

17、可選地，所述基于所述字線索引和位線索引，利用分塊偏移算法從多個(gè)所述核心模型中確定目標(biāo)核心模型，包括：

18、基于所述字線索引和所述位線索引，確定所述目標(biāo)地址是否為冗余地址；

19、若是，則通過冗余計(jì)算確定所述目標(biāo)地址對(duì)應(yīng)的冗余單元地址；

20、基于所述冗余單元地址對(duì)應(yīng)的冗余字線索引和冗余位線索引，利用分塊偏移算法從多個(gè)所述核心模型中確定目標(biāo)核心模型。

21、可選地，所述基于所述目標(biāo)地址從多個(gè)核心模型中確定目標(biāo)核心模型之后，所述方法還包括：

22、所述目標(biāo)核心模型基于所述目標(biāo)地址以及相變存儲(chǔ)單元的錯(cuò)位堆疊關(guān)系，確定對(duì)應(yīng)的驅(qū)動(dòng)電路。

23、可選地，所述基于所述數(shù)據(jù)存取命令，通過驅(qū)動(dòng)電路向所述目標(biāo)核心模型傳遞電信號(hào)，以模擬操作所述目標(biāo)地址對(duì)應(yīng)的相變存儲(chǔ)單元之后，所述方法還包括：

24、通過所述目標(biāo)核心模型對(duì)所述電信號(hào)進(jìn)行電氣設(shè)計(jì)規(guī)則檢查，以對(duì)所述驅(qū)動(dòng)電路進(jìn)行功能驗(yàn)證。

25、可選地，所述向所述驗(yàn)證環(huán)境傳輸所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)，以通過所述驗(yàn)證環(huán)境驗(yàn)證所述相變存儲(chǔ)器的功能之前，所述方法還包括：

26、通過所述接口記錄所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)；

27、所述向所述驗(yàn)證環(huán)境傳輸所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)，以通過所述驗(yàn)證環(huán)境驗(yàn)證所述相變存儲(chǔ)器的功能之后，所述方法還包括：

28、若所述驗(yàn)證環(huán)境獲取的數(shù)據(jù)，與所述驗(yàn)證環(huán)境中預(yù)先記錄的所述目標(biāo)核心模型對(duì)應(yīng)寫命令中數(shù)據(jù)不一致，則通過所述驗(yàn)證環(huán)境，基于所述目標(biāo)核心模型對(duì)應(yīng)寫命令中數(shù)據(jù)、所述驗(yàn)證環(huán)境獲取的數(shù)據(jù)、以及所述接口記錄的數(shù)據(jù)，確定出錯(cuò)的相變存儲(chǔ)單元地址。

29、可選地，所述驗(yàn)證環(huán)境為統(tǒng)一驗(yàn)證方法學(xué)環(huán)境。

30、第二方面，本技術(shù)實(shí)施例提供了一種相變存儲(chǔ)器陣列的驗(yàn)證系統(tǒng)，所述系統(tǒng)包括：驗(yàn)證環(huán)境以及待測(cè)設(shè)備；

31、所述待測(cè)設(shè)備包括相互連接的接口、驅(qū)動(dòng)電路和多個(gè)核心模型；所述核心模型為基于實(shí)值模型，以相變存儲(chǔ)器中預(yù)設(shè)數(shù)量的相變存儲(chǔ)單元為整體建模得到的；

32、所述驗(yàn)證環(huán)境通過所述接口與所述驅(qū)動(dòng)電路及所述多個(gè)核心模型連接；

33、所述驗(yàn)證環(huán)境，用于提供數(shù)據(jù)存取命令；所述數(shù)據(jù)存取命令為讀命令或?qū)懨?；所述?shù)據(jù)存取命令包括目標(biāo)地址；

34、所述接口，用于基于所述目標(biāo)地址從多個(gè)所述核心模型中確定目標(biāo)核心模型；

35、所述驅(qū)動(dòng)電路，用于基于所述數(shù)據(jù)存取命令，向所述目標(biāo)核心模型傳遞電信號(hào)，以模擬操作所述目標(biāo)地址對(duì)應(yīng)的相變存儲(chǔ)單元；

36、所述驗(yàn)證環(huán)境，還用于獲取所述目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)，以驗(yàn)證所述相變存儲(chǔ)器的功能。

37、相較于現(xiàn)有技術(shù)，本技術(shù)具有以下有益效果：

38、本技術(shù)實(shí)施例提供了一種相變存儲(chǔ)器陣列的仿真驗(yàn)證方法，該方法包括：獲取驗(yàn)證環(huán)境提供的數(shù)據(jù)存取命令；數(shù)據(jù)存取命令為讀命令或?qū)懨?，?shù)據(jù)存取命令包括目標(biāo)地址；基于目標(biāo)地址從多個(gè)核心模型中確定目標(biāo)核心模型；核心模型以相變存儲(chǔ)器中預(yù)設(shè)數(shù)量的相變存儲(chǔ)單元為整體建模得到；基于數(shù)據(jù)存取命令，通過驅(qū)動(dòng)電路向目標(biāo)核心模型傳遞電信號(hào)，以模擬操作目標(biāo)地址對(duì)應(yīng)的相變存儲(chǔ)單元；向驗(yàn)證環(huán)境傳輸目標(biāo)核心模型中存儲(chǔ)的數(shù)據(jù)，以通過驗(yàn)證環(huán)境驗(yàn)證相變存儲(chǔ)器的功能。由此，將相變存儲(chǔ)器中預(yù)設(shè)數(shù)量的相變存儲(chǔ)單元作為整體，建模得到多個(gè)核心模型，以核心模型為基礎(chǔ)，進(jìn)行相變存儲(chǔ)器陣列的仿真驗(yàn)證，可以極大降低pcm陣列在仿真中的例化規(guī)模，從而提高仿真運(yùn)行的速度，進(jìn)而提高產(chǎn)品研發(fā)的效率。