專利名稱：用于使用約束簡(jiǎn)化存儲(chǔ)器控制器的方法和系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明主要涉及一種用于使用約束以簡(jiǎn)化存儲(chǔ)器控制器的方法和系統(tǒng)。更具體地，本發(fā)明涉及一種用于通過遵循在存儲(chǔ)器系統(tǒng)中減少/消除命令沖突，數(shù)據(jù)矛盾、和/或檢查具體定時(shí)參數(shù)的需要的約束，以簡(jiǎn)化存儲(chǔ)器控制器設(shè)計(jì)的方法和系統(tǒng)。
背景技術(shù)：
計(jì)算機(jī)系統(tǒng)開發(fā)者常常努力于提高計(jì)算機(jī)系統(tǒng)的性能。開發(fā)者可以集中在優(yōu)化軟件部分和/或硬件部分上，以便達(dá)到該目的。一種硬件優(yōu)化方法用于提高從存儲(chǔ)器讀取和寫入存儲(chǔ)器的處理器速度。
硬件開發(fā)者已設(shè)計(jì)出動(dòng)態(tài)隨機(jī)存取存儲(chǔ)器(DRAM)接口，其包括一種高速芯片到芯片(chip-to-chip)數(shù)據(jù)傳輸技術(shù)。對(duì)于例如高性能主存儲(chǔ)器、PC圖形、游戲控制臺(tái)、高級(jí)數(shù)字消費(fèi)者系統(tǒng)、高性能網(wǎng)絡(luò)系統(tǒng)、以及其他需要高帶寬存儲(chǔ)器子系統(tǒng)的要求高的應(yīng)用的應(yīng)用，可以在標(biāo)準(zhǔn)CMOS DRAM核和CMOS控制器芯片上實(shí)現(xiàn)該接口技術(shù)。包含最新開發(fā)的DRAM接口的存儲(chǔ)器系統(tǒng)包括這樣的存儲(chǔ)器控制器，該存儲(chǔ)器控制器在命令總線上通過輸入/輸出接口向DRAM發(fā)出命令。這些命令與讀寫操作相對(duì)應(yīng)，由此針對(duì)兩種操作任何之一的典型的命令序列將是“激活”命令，一個(gè)或多個(gè)“列”命令，以及“預(yù)充電”命令。激活命令，也稱作行命令，打開或感應(yīng)(sense)一行或一頁(yè)。列命令讀取在一行或一頁(yè)內(nèi)的一列并向在一行或一頁(yè)內(nèi)的一列寫入。并且最后，預(yù)充電命令關(guān)閉一行或一頁(yè)。
當(dāng)設(shè)計(jì)存儲(chǔ)器控制器時(shí)，存儲(chǔ)器控制器設(shè)計(jì)者將許多設(shè)備(即DRAM)定時(shí)參數(shù)和其值的范圍包括進(jìn)來。不變地，存儲(chǔ)器控制器設(shè)計(jì)者識(shí)別許多將引起命令沖突、數(shù)據(jù)矛盾或檢查具體定時(shí)參數(shù)的需要的參數(shù)值組合。例如，要求存儲(chǔ)器控制器設(shè)計(jì)者這樣設(shè)計(jì)一種存儲(chǔ)器控制器，使得存儲(chǔ)器控制器發(fā)出與讀操作相對(duì)應(yīng)的命令，該命令與寫操作相對(duì)應(yīng)的命令距離足夠遠(yuǎn)，并以這種方式使得不管通常一些操作持續(xù)時(shí)間相互重疊的事實(shí)，命令不沖突。
設(shè)計(jì)存儲(chǔ)器控制器的一個(gè)挑戰(zhàn)是解決麻煩的參數(shù)值組合，而不過度地設(shè)計(jì)存儲(chǔ)器控制器。如果包括處理每個(gè)這種參數(shù)值組合的機(jī)制，存儲(chǔ)器控制器可以變得極復(fù)雜，并且，潛在地不正常地工作和/或丟失進(jìn)度里程碑。
因此，所需要的是一種用于在最大化存儲(chǔ)器控制器性能和維持對(duì)參數(shù)值的寬范圍的支持的同時(shí)，簡(jiǎn)化存儲(chǔ)器控制器設(shè)計(jì)的方法和系統(tǒng)。

發(fā)明內(nèi)容
已公開使用一種方法和系統(tǒng)來定義約束并使用約束來簡(jiǎn)化存儲(chǔ)器控制器的設(shè)計(jì)，解決了上述挑戰(zhàn)。存儲(chǔ)器控制器設(shè)計(jì)工具識(shí)別麻煩的參數(shù)值組合，并且1)通知存儲(chǔ)器控制器設(shè)計(jì)者向存儲(chǔ)器控制器增加邏輯，以處理麻煩的參數(shù)值組合，2)加入減少/消除命令沖突、數(shù)據(jù)矛盾、和/或檢查具體定時(shí)參數(shù)的需要的約束，或者3)“1”和“2”的組合，以便解決麻煩的參數(shù)值組合。存儲(chǔ)器控制器設(shè)計(jì)工具可以與存儲(chǔ)器控制器設(shè)計(jì)者一起工作來定義和使用約束。
存儲(chǔ)器控制器設(shè)計(jì)工具取回定時(shí)參數(shù)范圍，并確定設(shè)計(jì)滿足每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍的存儲(chǔ)器控制器(普通目標(biāo))是否過于復(fù)雜。要求存儲(chǔ)器控制器滿足每一個(gè)定時(shí)參數(shù)，但是不需要滿足每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍，并且不需要滿足每一個(gè)定時(shí)參數(shù)的最佳(通常是最小)值。由于設(shè)計(jì)/技術(shù)困難或其他問題，例如能夠在具體的時(shí)間量中完成存儲(chǔ)器控制器設(shè)計(jì)，以便于滿足進(jìn)度要求，可以認(rèn)為存儲(chǔ)器控制器“過于復(fù)雜”。
當(dāng)存儲(chǔ)器控制器設(shè)計(jì)工具確定設(shè)計(jì)滿足每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍的存儲(chǔ)器控制器過于復(fù)雜時(shí)，存儲(chǔ)器控制器設(shè)計(jì)工具選擇具體的麻煩的參數(shù)值組合。存儲(chǔ)器控制器設(shè)計(jì)工具確定所選擇的麻煩的參數(shù)值組合在真實(shí)生活中是否可能出現(xiàn)。通常，定時(shí)參數(shù)的體系結(jié)構(gòu)范圍是很寬的，并且意在覆蓋可能或不可能出現(xiàn)的未來設(shè)備。如果所選擇的麻煩的參數(shù)值組合在真實(shí)生活中不可能出現(xiàn)，或者僅對(duì)于極少設(shè)備將會(huì)出現(xiàn)，存儲(chǔ)器控制器設(shè)計(jì)工具識(shí)別、定義和存儲(chǔ)減少/消除命令沖突、數(shù)據(jù)矛盾和/或檢查具體定時(shí)參數(shù)的需要的約束，否則以上問題將從該具體的麻煩的參數(shù)值組合產(chǎn)生。
另一方面，如果所選擇的麻煩的參數(shù)值組合在真實(shí)生活中可能出現(xiàn)并且過多，存儲(chǔ)器控制器設(shè)計(jì)工具確定是否要求復(fù)雜存儲(chǔ)器控制器邏輯來處理麻煩的參數(shù)值組合?！皬?fù)雜度”可以依賴于例如面積、定時(shí)、功率、驗(yàn)證工作量、進(jìn)度等設(shè)計(jì)目標(biāo)。如果不要求復(fù)雜邏輯來處理麻煩的參數(shù)值組合，存儲(chǔ)器控制器設(shè)計(jì)工具通知存儲(chǔ)器控制器設(shè)計(jì)者，以設(shè)計(jì)處理麻煩的參數(shù)值組合的存儲(chǔ)器控制器邏輯。
另一方面，如果要求復(fù)雜邏輯來處理麻煩的參數(shù)值組合，存儲(chǔ)器控制器設(shè)計(jì)工具確定是否通過增加約束顯著地簡(jiǎn)化了存儲(chǔ)器控制器邏輯的設(shè)計(jì)。如果不，存儲(chǔ)器控制器設(shè)計(jì)工具通知存儲(chǔ)器控制器設(shè)計(jì)者以及潛在地其他團(tuán)隊(duì)成員，以解決麻煩的參數(shù)值組合，其可以包括增加邏輯、加入約束或者二者的組合。
如果存儲(chǔ)器控制器設(shè)計(jì)工具確定通過增加約束而顯著地簡(jiǎn)化了存儲(chǔ)器控制器邏輯，則存儲(chǔ)器控制器設(shè)計(jì)工具確定增加約束是否顯著地降低了存儲(chǔ)器系統(tǒng)的性能，例如顯著地減慢了存儲(chǔ)器存取。如果這樣，存儲(chǔ)器控制器設(shè)計(jì)工具通知存儲(chǔ)器控制器設(shè)計(jì)者以及潛在地其他團(tuán)隊(duì)成員，以確定怎樣解決上述所討論的麻煩的參數(shù)值組合。
另一方面，如果增加約束不顯著地降低存儲(chǔ)器系統(tǒng)的性能，存儲(chǔ)器控制器設(shè)計(jì)工具識(shí)別和定義約束，以處理麻煩的參數(shù)值組合。當(dāng)存儲(chǔ)器控制器設(shè)計(jì)工具尋址每一個(gè)麻煩的參數(shù)值組合時(shí)，存儲(chǔ)器控制器設(shè)計(jì)者可以使用所定義的約束來選擇DRAM和配置存儲(chǔ)器系統(tǒng)。
以上是一個(gè)總結(jié)，并且因此包含了必要的簡(jiǎn)化、概括和細(xì)節(jié)的忽略；因此那些本領(lǐng)域的技術(shù)人員應(yīng)理解本總結(jié)僅是描述性的，并且目的決不是進(jìn)行限制。在以下給出的非限制的詳細(xì)描述中，如僅由權(quán)利要求所定義的本發(fā)明的其他方面、發(fā)明特征和優(yōu)點(diǎn)將變得顯而易見。


通過參考附圖，本領(lǐng)域的技術(shù)人員將更好地理解本發(fā)明以及其多個(gè)目的、特征和優(yōu)點(diǎn)。
圖1是示出可以使用約束的存儲(chǔ)器系統(tǒng)的圖示；圖2是能夠?qū)崿F(xiàn)本發(fā)明的處理器部件體系結(jié)構(gòu)的方框圖；圖3是示出在解決麻煩的參數(shù)值組合中所采用的步驟的流程圖；圖4是示出各種定時(shí)參數(shù)的表；圖5是示出用于簡(jiǎn)化存儲(chǔ)器控制器的各種約束的表；圖6是示出一個(gè)約束怎樣減少存儲(chǔ)器命令沖突的圖示；圖7是示出另一約束怎樣消除檢查參數(shù)的需要的圖示；以及圖8是示出在使用約束來配置存儲(chǔ)器系統(tǒng)中所采用的步驟的流程圖。
具體實(shí)施例方式
以下意在提供本發(fā)明的例子的詳細(xì)描述，并且不應(yīng)將其認(rèn)為是對(duì)本發(fā)明自身的限制。相反地，任何數(shù)目的變型可以落在說明書之后的權(quán)利要求中所定義的本發(fā)明的范圍之內(nèi)。
圖1是示出可以使用約束的存儲(chǔ)器系統(tǒng)的圖示。該存儲(chǔ)器系統(tǒng)包括存儲(chǔ)器控制器110和輸入/輸出接口120，以及存儲(chǔ)器160，其中所述存儲(chǔ)器控制器110和輸入/輸出接口120包括在芯片100中。存儲(chǔ)器控制器110分別在發(fā)送數(shù)據(jù)總線130上向輸入/輸出接口120發(fā)送數(shù)據(jù)，在接收數(shù)據(jù)總線140上從輸入/輸出接口120接收數(shù)據(jù)。輸入/輸出接口120在數(shù)據(jù)總線170上依次向存儲(chǔ)器160發(fā)送數(shù)據(jù)和從存儲(chǔ)器160接收數(shù)據(jù)。存儲(chǔ)器控制器110在命令/地址總線150上向輸入/輸出接口發(fā)送命令和地址信息。輸入/輸出接口120在命令/地址總線180上依次向存儲(chǔ)器160發(fā)送命令和地址信息。
在命令/地址總線150和180上所發(fā)送的命令的定時(shí)必須遵從輸入/輸出接口120和存儲(chǔ)器160(即DRAM)二者的定時(shí)參數(shù)。當(dāng)設(shè)計(jì)存儲(chǔ)器控制器110時(shí)，存儲(chǔ)器控制器設(shè)計(jì)者分析這些定時(shí)參數(shù)，并且不變地，存儲(chǔ)器控制器設(shè)計(jì)者識(shí)別將引起命令沖突、數(shù)據(jù)矛盾或檢查具體定時(shí)參數(shù)的需要的許多參數(shù)值組合。例如，要求存儲(chǔ)器控制器設(shè)計(jì)者設(shè)計(jì)這樣一種存儲(chǔ)器控制器，使得存儲(chǔ)器控制器發(fā)出與讀操作相對(duì)應(yīng)的命令，該命令與寫操作相對(duì)應(yīng)的命令距離足夠遠(yuǎn)，并以這種方式使得盡管通常存在操作持續(xù)時(shí)間相互重疊的事實(shí)，命令并不沖突。
如果存儲(chǔ)器控制器設(shè)計(jì)者設(shè)計(jì)處理每一個(gè)麻煩的參數(shù)值組合的機(jī)制，存儲(chǔ)器控制器可以變得極復(fù)雜，并且，可能丟失面積目標(biāo)、定時(shí)目標(biāo)、和/或進(jìn)度里程碑。本發(fā)明提供一種用于存儲(chǔ)器控制器設(shè)計(jì)者進(jìn)行以下操作的方法1)向存儲(chǔ)器控制器增加邏輯以解決矛盾，2)加入約束，或者3)“1”和“2”的組合，以便解決麻煩的參數(shù)值組合。該約束與可以減少/消除命令沖突、數(shù)據(jù)矛盾和/或檢查具體定時(shí)參數(shù)的需要的約束類型相對(duì)應(yīng)(見圖3至圖8，以及針對(duì)關(guān)于麻煩的參數(shù)值組合的解決方案的進(jìn)一步細(xì)節(jié)的相應(yīng)文字)。
圖2是示出了能夠?qū)崿F(xiàn)本發(fā)明的處理器部件體系結(jié)構(gòu)的方框圖。圖2所示的體系結(jié)構(gòu)包括共享一個(gè)公共存儲(chǔ)器和一個(gè)公共總線的異構(gòu)處理器。處理器部件體系結(jié)構(gòu)(PEA)200通過輸入輸出270向外部設(shè)備發(fā)送信息，并從外部設(shè)備接收信息，并且使用處理器部件總線260向控制平面210和數(shù)據(jù)平面240分配該信息?？刂破矫?10管理PEA 200，并且向數(shù)據(jù)平面240分配工作。
另外，處理器部件總線260向存儲(chǔ)器控制器110提供讀寫請(qǐng)求。存儲(chǔ)器控制器110將該請(qǐng)求傳輸給輸入/輸出接口120，該輸入/輸出接口120依次與外部存儲(chǔ)器通信。存儲(chǔ)器控制器110和輸入/輸出接口120與圖1所示的相同。在一種實(shí)施方式中，存儲(chǔ)器可以是極限數(shù)據(jù)率(XDRTM)DRAM，并且，在該實(shí)施方式中，存儲(chǔ)器接口120是與XDRTMDRAM進(jìn)行通信的XIOTM。
控制平面210包括運(yùn)行操作系統(tǒng)(OS)225的處理單元220。例如，處理單元220可以是嵌入在PEA 200中的Power PC核，并且OS 225可以是Linux操作系統(tǒng)。處理單元220管理用于PEA 200的公共存儲(chǔ)器映射表。存儲(chǔ)器映射表與PEA 200中所包括的存儲(chǔ)器位置相對(duì)應(yīng)，例如L2存儲(chǔ)器230，以及數(shù)據(jù)平面240中所包括的非私有存儲(chǔ)器。
數(shù)據(jù)平面240包括協(xié)作處理聯(lián)合體(synergistic processingcomplex)(SPC)245、250和255。每一個(gè)SPC用于處理數(shù)據(jù)信息，并且每一個(gè)SPC可以具有不同的指令集。例如，PEA 200可以用于無線通信系統(tǒng)，并且每一個(gè)SPC可以負(fù)責(zé)不同的處理任務(wù)，例如，調(diào)制、芯片速率處理、編碼以及網(wǎng)絡(luò)接口連接。在另一例子中，每一個(gè)SPC可以具有相同的指令集，并且可以并行使用以執(zhí)行得益于并行處理的操作。每一個(gè)SPC包括協(xié)作處理單元(SPU)，它是一個(gè)處理核，例如數(shù)字信號(hào)處理器、微控制器、微處理器或者這些核的組合。
SPC 245、250和255連接到處理器部件總線260，其在控制平面210、數(shù)據(jù)平面240和輸入/輸出270之間傳遞信息?？偩€260是一個(gè)片上附著的(on-chip coherent)多處理器總線。輸入/輸出270包括靈活的輸入-輸出邏輯，其根據(jù)連接到PEA 200的外圍設(shè)備動(dòng)態(tài)地向輸入-輸出控制器分配接口管腳。例如，PEA 200可以連接到例如外設(shè)A和外設(shè)B的兩個(gè)外圍設(shè)備，由此每一個(gè)外設(shè)連接到PEA 200上的特定數(shù)目的輸入和輸出管腳。在該例子中，配置靈活的輸入-輸出邏輯，用于將連接到外設(shè)A的PEA 200的外部輸入管腳和輸出管腳路由到第一輸入-輸出控制器，并且將連接到外設(shè)B的PEA 200的外部輸入管腳和輸出管腳路由到第二輸入-輸出控制器。
雖然圖2所描述的計(jì)算機(jī)系統(tǒng)能夠執(zhí)行這里所描述的處理，該計(jì)算機(jī)系統(tǒng)僅是計(jì)算機(jī)系統(tǒng)的一個(gè)例子。本領(lǐng)域的技術(shù)人員將理解，許多其他計(jì)算機(jī)系統(tǒng)設(shè)計(jì)能夠執(zhí)行這里所描述的處理。
圖3是示出在解決麻煩的參數(shù)值組合中所采用的步驟的流程圖。存儲(chǔ)器控制器設(shè)計(jì)者面臨的是設(shè)計(jì)存儲(chǔ)器控制器以滿足許多不同的定時(shí)參數(shù)。每一個(gè)定時(shí)參數(shù)很可能具有參數(shù)值可以下降到其中的范圍。例如，定時(shí)參數(shù)可以具有從2納秒到10納秒的范圍。另外，當(dāng)設(shè)計(jì)存儲(chǔ)器控制器時(shí)，存儲(chǔ)器控制器設(shè)計(jì)者還必須考慮定時(shí)參數(shù)的相互關(guān)系，或者“參數(shù)值組合”。當(dāng)具體的麻煩的參數(shù)值組合引起例如命令沖突、數(shù)據(jù)矛盾和/或檢查具體定時(shí)參數(shù)的需要的問題時(shí)，存儲(chǔ)器控制器設(shè)計(jì)者使用存儲(chǔ)器控制器設(shè)計(jì)工具選擇一種具體方法以解決該問題。
處理在300開始，因此在步驟305處理從參數(shù)范圍存儲(chǔ)310取回定時(shí)參數(shù)范圍。定時(shí)參數(shù)范圍與所選擇的存儲(chǔ)器系統(tǒng)體系結(jié)構(gòu)相對(duì)應(yīng)。進(jìn)行關(guān)于設(shè)計(jì)滿足每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍的存儲(chǔ)器控制器是否過于復(fù)雜的確定(判斷320)。澄清一下，要求存儲(chǔ)器控制器滿足每一個(gè)定時(shí)參數(shù)，但不必滿足每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍，并且也不必滿足每一個(gè)定時(shí)參數(shù)的最優(yōu)(通常是最小)值。由于設(shè)計(jì)/技術(shù)困難或其他問題，例如，能夠在具體時(shí)間量?jī)?nèi)完成存儲(chǔ)器控制器設(shè)計(jì)以便滿足進(jìn)度要求，可以認(rèn)為該存儲(chǔ)器控制器“過于復(fù)雜”。
如果存儲(chǔ)器控制器設(shè)計(jì)不是過于復(fù)雜來滿足每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍，則判斷320轉(zhuǎn)向“否”分支322，因此處理結(jié)束，并且存儲(chǔ)器控制器設(shè)計(jì)者根據(jù)每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍設(shè)計(jì)存儲(chǔ)器控制器。
另一方面，如果設(shè)計(jì)存儲(chǔ)器控制器過于復(fù)雜來滿足每一個(gè)定時(shí)參數(shù)的全部體系結(jié)構(gòu)范圍，則判斷320轉(zhuǎn)向“是”分支328，因此處理選擇一個(gè)具體的麻煩的參數(shù)值組合(步驟330)。進(jìn)行關(guān)于所選擇的麻煩的參數(shù)值組合是否可能在真實(shí)生活中出現(xiàn)(例如，出現(xiàn)概率)的確定(判斷340)。通常，定時(shí)參數(shù)的體系結(jié)構(gòu)范圍是很寬的，并且該體系結(jié)構(gòu)范圍意在覆蓋可能出現(xiàn)或可能不出現(xiàn)的未來設(shè)備。如果所選擇的定時(shí)參數(shù)值組合在真實(shí)生活中不可能出現(xiàn)，或者僅對(duì)于極少數(shù)設(shè)備將出現(xiàn)，判斷340轉(zhuǎn)向“否”分支342，因此處理識(shí)別、定義和存儲(chǔ)減少/消除命令沖突、數(shù)據(jù)矛盾和/或檢查具體定時(shí)參數(shù)的需要的約束(步驟345)，否則以上問題將從該具體的麻煩的參數(shù)值組合產(chǎn)生。當(dāng)存儲(chǔ)器控制器設(shè)計(jì)者選擇DRAM，并配置存儲(chǔ)器系統(tǒng)(見圖8和針對(duì)關(guān)于DRAM選擇和存儲(chǔ)器系統(tǒng)配置的進(jìn)一步細(xì)節(jié)的相應(yīng)文字)時(shí)，則使用該約束。
另一方面，如果該具體的麻煩的參數(shù)值組合在真實(shí)生活中可能出現(xiàn)且較多，則判斷340轉(zhuǎn)向“是”分支348，因此進(jìn)行關(guān)于是否要求復(fù)雜存儲(chǔ)器控制器邏輯，以便處理該麻煩的參數(shù)值組合的確定(判斷350)。例如，“復(fù)雜度”可以依賴于如面積、定時(shí)、功率、驗(yàn)證工作量(verification effort)、進(jìn)度等的設(shè)計(jì)目標(biāo)。如果不要求復(fù)雜邏輯來處理該定時(shí)參數(shù)值組合，則判斷350轉(zhuǎn)向“否”分支352，因此存儲(chǔ)器控制器設(shè)計(jì)者設(shè)計(jì)處理該麻煩的參數(shù)值組合的存儲(chǔ)器控制器邏輯(步驟355)。另一方面，如果要求復(fù)雜邏輯來處理該定時(shí)參數(shù)值組合，則判斷350轉(zhuǎn)向“是”分支358。
進(jìn)行關(guān)于通過增加約束，是否顯著地簡(jiǎn)化了存儲(chǔ)器控制器邏輯的設(shè)計(jì)的確定(判斷360)。如果通過增加約束沒有顯著地簡(jiǎn)化存儲(chǔ)器控制器邏輯設(shè)計(jì)，判斷360轉(zhuǎn)向“否”分支362，因此存儲(chǔ)器控制器設(shè)計(jì)者以及潛在地其他團(tuán)隊(duì)成員確定怎樣解決該麻煩的參數(shù)值組合(步驟380)。解決方案可以是1)向存儲(chǔ)器控制器增加邏輯以解決矛盾(步驟355)，2)加入減少/消除命令沖突、數(shù)據(jù)矛盾和/或檢查具體定時(shí)參數(shù)的需要的約束(步驟345)，或者3)步驟345和步驟355的組合。
另一方面，如果通過增加約束顯著地簡(jiǎn)化了存儲(chǔ)器控制器邏輯，判斷360轉(zhuǎn)向“是”分支368。例如，可以存在進(jìn)度矛盾，以及增加約束簡(jiǎn)化了邏輯設(shè)計(jì)，從而使得用于設(shè)計(jì)邏輯所采用的時(shí)間減半。進(jìn)行關(guān)于增加約束是否顯著地(即，不可接受地)降低了存儲(chǔ)器系統(tǒng)的性能的確定(判斷370)。如果增加約束顯著地降低了存儲(chǔ)器系統(tǒng)的性能，判斷370轉(zhuǎn)向“是”分支378，因此如上所述，存儲(chǔ)器控制器設(shè)計(jì)者以及潛在地其他團(tuán)隊(duì)成員確定怎樣解決該麻煩的參數(shù)值組合。
另一方面，如果增加約束不顯著地降低存儲(chǔ)器系統(tǒng)的性能，判斷370轉(zhuǎn)向“否”分支372，因此處理識(shí)別、定義和在規(guī)范存儲(chǔ)347中存儲(chǔ)處理該具體的麻煩的參數(shù)值組合的約束?？梢詫⒁?guī)范存儲(chǔ)347存儲(chǔ)在非易失性存儲(chǔ)區(qū)域中，例如計(jì)算機(jī)硬驅(qū)動(dòng)器。
進(jìn)行關(guān)于是否存在更多麻煩的參數(shù)值組合需要解決的確定(判斷390)。如果存在更多參數(shù)組合矛盾需要解決，判斷390轉(zhuǎn)向“是”分支392，其向后循環(huán)回以選擇下一個(gè)麻煩的參數(shù)值組合。該循環(huán)將一直繼續(xù)，直到?jīng)]有更多麻煩的參數(shù)值組合要解決，在該點(diǎn)判斷390轉(zhuǎn)向“否”分支398，因此處理在399結(jié)束。
圖4是示出與存儲(chǔ)器控制器、輸入/輸出接口和存儲(chǔ)器之間的通信相對(duì)應(yīng)的各種定時(shí)參數(shù)的表。表400包括與圖5所示的一個(gè)或多個(gè)約束相對(duì)應(yīng)的各種定時(shí)參數(shù)。圖4中所列出的定時(shí)參數(shù)與極限數(shù)據(jù)率(XDRTM)存儲(chǔ)器系統(tǒng)相關(guān)。本領(lǐng)域的技術(shù)人員可以理解，本發(fā)明還應(yīng)用于其他存儲(chǔ)器系統(tǒng)，其可以產(chǎn)生包括這樣的定時(shí)參數(shù)的約束，所述定時(shí)參數(shù)不同于或稍微區(qū)別于圖4中所示的那些定時(shí)參數(shù)。
表400包括列410和420。列410包括一個(gè)參數(shù)符號(hào)列表，其中每一個(gè)參數(shù)符號(hào)被包括在圖5所示的一個(gè)或多個(gè)約束例子中。列420包括一個(gè)與列410中所示的參數(shù)符號(hào)相對(duì)應(yīng)的參數(shù)描述列表。例如，行430包括參數(shù)符號(hào)“tΔRW”，它是讀到寫時(shí)間間隔。圖5所示的例子表示tΔRW被包括在約束5(行570)和約束7(行580)中(見圖5和針對(duì)關(guān)于約束的進(jìn)一步細(xì)節(jié)的相應(yīng)文字)。
圖5是示出用于簡(jiǎn)化存儲(chǔ)器控制器的各種約束的表。圖5所示的約束例子與極限數(shù)據(jù)率(XDRTM)存儲(chǔ)器系統(tǒng)相關(guān)聯(lián)。本領(lǐng)域的技術(shù)人員可以理解，本發(fā)明還應(yīng)用于其他存儲(chǔ)器系統(tǒng)，其可以產(chǎn)生不同于圖5所示約束的約束。
表500包括列510-540。列510包括一個(gè)約束號(hào)碼列表，在本應(yīng)用中將其用于參考的目的。列520包括與列530中所示的約束相對(duì)應(yīng)目標(biāo)列表。列540包括與列530中所包括的約束相對(duì)應(yīng)的動(dòng)作/注釋列表。列530中所示的約束包括參數(shù)符號(hào)，由此圖4示出了每一個(gè)參數(shù)符號(hào)的描述。
表500包括行550-590。行550和行555包括這樣的約束，其目標(biāo)是行和列分組的有效平鋪(tiling)。行550包括“tRCD-R＝奇數(shù)”和“tRCD-W＝奇數(shù)”的約束，其意味著用于讀取的行到列時(shí)間間隔和用于寫入的行到列時(shí)間間隔處于奇數(shù)命令周期。行555包括約束“tRR＝tPP＝4×n”，其意味著行到行時(shí)間間隔等于預(yù)充電到預(yù)充電時(shí)間間隔，它等于一個(gè)正整數(shù)值的4倍。
行560和565包括這樣的約束，其目標(biāo)是在寫到讀(提前讀取)轉(zhuǎn)變期間的有效平鋪。行560包括約束“tRCD-W＝tRCD-R”，其意味著用于讀取的行到列時(shí)間間隔等于用于寫入的行到列時(shí)間間隔。行565包括約束“tΔWR-D＝tCC或(tCC+4)”，其意味著到不同存儲(chǔ)體(bank)集合的寫到讀時(shí)間間隔等于列到列時(shí)間間隔或列到列時(shí)間間隔加4個(gè)命令周期。
行570包括這樣的約束，其目標(biāo)是避免在讀到寫轉(zhuǎn)變時(shí)行激活(寫入)和列讀取命令之間的沖突。行570包括約束“tΔRW＞tRCD-W”，其意味著讀到寫時(shí)間間隔必須大于用于寫入的行到列時(shí)間間隔(見圖6以及用于詳細(xì)說明和進(jìn)一步描述該作為例子的約束的相應(yīng)文字)。
行575包括這樣的約束，其目標(biāo)是避免在寫到讀(非提前讀取)轉(zhuǎn)變時(shí)行激活(讀取)和列寫入或偽裝的列寫入(column maskedwrite)之間的沖突。行575包括約束“tΔWR＞tRCD-R”，其意味著寫到讀時(shí)間間隔必須大于用于讀取的行到列時(shí)間間隔。行580包括這樣的約束，其目標(biāo)是保證在讀到寫轉(zhuǎn)變時(shí)滿足預(yù)充電到預(yù)充電時(shí)間間隔。行580包括約束“tΔRW≥tRDP-tWRP+tPP+tCC-4”。
行585包括這樣的約束，其目標(biāo)是保證在寫到讀(非提前讀取)轉(zhuǎn)變時(shí)滿足預(yù)充電到預(yù)充電時(shí)間間隔。行585包括約束“tΔWR≥tWRP-tRDP+tPP+tCC-4”(見圖7和用于詳細(xì)說明和描述作為例子的該約束的相應(yīng)文字)。
行590包括這樣的約束，其目標(biāo)是避免當(dāng)檢查接收數(shù)據(jù)時(shí)在寫到讀轉(zhuǎn)變時(shí)的發(fā)送數(shù)據(jù)矛盾。更具體地，該約束確保在周期的定時(shí)校準(zhǔn)期間，“期望”數(shù)據(jù)來得不早于發(fā)送數(shù)據(jù)的最后部分。行590包括約束“tΔWR≥tQTD+tCC-tQRD+tERD”。
如上所述，表500中的約束與XDRTM存儲(chǔ)器系統(tǒng)相對(duì)應(yīng)，并且本領(lǐng)域的技術(shù)人員可以理解，本發(fā)明也應(yīng)用于其他存儲(chǔ)器系統(tǒng)，其可以產(chǎn)生不同于圖5所示約束的約束。
圖6是示出一個(gè)約束怎樣減少存儲(chǔ)器命令沖突的圖示。定時(shí)圖600表示圖5所示的行570的約束5，，怎樣簡(jiǎn)化存儲(chǔ)器控制器的設(shè)計(jì)。約束5是“tΔRW＞tRCD-W”，并且其目標(biāo)是避免在讀到寫轉(zhuǎn)變時(shí)，用于寫操作的行激活命令(ROWA(寫))和列讀取命令之間的沖突。換句話說，約束5要求讀到寫時(shí)間間隔(tΔRW680)大于用于寫入的行到列時(shí)間間隔(tRCD-W685)。圖6示出了當(dāng)tΔRW＝tRCD-W的情況。
定時(shí)圖600包括與時(shí)間線610相對(duì)應(yīng)的命令640-674。在如圖1所示的命令/地址總線150和180的命令總線上發(fā)出每一個(gè)命令。命令640-666與讀操作(例如，讀流620)相對(duì)應(yīng)，而命令670-674與寫操作相對(duì)應(yīng)(例如，寫流630)。
命令640-646與讀操作“A”相對(duì)應(yīng)，其以DRAM中的存儲(chǔ)體A為目標(biāo)。命令640是行激活命令，命令642和644是列讀取命令，以及命令646是行預(yù)充電命令。類似地，命令650-656與讀操作“B”相對(duì)應(yīng)，其以DRAM中的存儲(chǔ)體B為目標(biāo)。命令650是行激活命令，命令652和654是列讀取命令，以及命令656是其在DRAM中執(zhí)行之前，發(fā)出兩個(gè)命令周期的行預(yù)充電命令。此外，命令660-666與讀操作“C”相對(duì)應(yīng)，其以DRAM中的存儲(chǔ)體C為目標(biāo)。命令660是行激活命令，命令662和664是列讀取命令，以及命令666是其在DRAM中執(zhí)行之前，發(fā)出兩個(gè)命令周期的行預(yù)充電命令。
命令670-674與寫操作“D”相對(duì)應(yīng)，其以DRAM中的存儲(chǔ)體D為目標(biāo)。命令670是行激活命令，以及命令672和674是列寫入命令(為了簡(jiǎn)單，在圖6中未示出寫操作“D”的相應(yīng)的行預(yù)充電命令以及其他寫操作)。如可見，當(dāng)tΔRW680不大于tRCD-W685時(shí)，沖突690可以在讀到寫轉(zhuǎn)變時(shí)，在列讀取命令(命令664)和行激活命令(命令670)之間出現(xiàn)。當(dāng)tΔRW680增加到大于tRCD-W685的值時(shí)，命令670轉(zhuǎn)移到“右邊”，從而避免其與列讀取命令之間的沖突。此外，應(yīng)該注意，允許行預(yù)充電命令更加靈活地調(diào)度，并且因此聽從于行激活和列命令。如果忽略了該約束，存儲(chǔ)器控制器將需要特殊硬件以確保不出現(xiàn)這種沖突。
本領(lǐng)域的技術(shù)人員可以理解，根據(jù)系統(tǒng)配置和動(dòng)態(tài)條件，對(duì)于讀流的命令平鋪可以不同于圖6所示的。對(duì)于寫流也類似。因此，如果沒有約束，則在690之前還可以出現(xiàn)沖突。圖6僅是一種可能，僅用于說明性目的。
圖7是示出另一約束怎樣消除檢查參數(shù)的需要的圖示。定時(shí)圖700示出約束8，圖5所示的行5 85，怎樣簡(jiǎn)化存儲(chǔ)器控制器設(shè)計(jì)。約束8是“tΔWR≥tWRP-tRDP+tPP+tCC-4”，并且其目標(biāo)是保證在非提前讀取的寫到讀轉(zhuǎn)變時(shí)滿足預(yù)充電到預(yù)充電時(shí)間間隔(tPP)。換句話說，約束8要求寫到讀時(shí)間間隔(tΔWR786)足夠大，以便寫操作的行預(yù)充電命令(命令768)和讀操作的行預(yù)充電命令(命令784)之間的時(shí)間間隔滿足設(shè)備的tPP要求。定時(shí)參數(shù)tWRP770、tCC788、tRDP790和tPP792包括在約束中，并且在圖7中示出。
定時(shí)圖700包括與時(shí)間線710相對(duì)應(yīng)的命令740-784。在如圖1所示的命令/地址總線150和180的命令總線上發(fā)出每一個(gè)命令。命令740-768與寫操作(例如，寫流720)相對(duì)應(yīng)，而命令780-784與讀操作(例如，讀流730)相對(duì)應(yīng)。
命令740和745是與寫操作“A”相對(duì)應(yīng)的列寫入命令，該操作以DRAM中的存儲(chǔ)體A為目標(biāo)。命令750和755是與寫操作“B”相對(duì)應(yīng)的列寫入命令，該操作以DRAM中的存儲(chǔ)體B為目標(biāo)。以及，命令760和765是與寫操作“C”相對(duì)應(yīng)的列寫入命令，該操作以DRAM中的存儲(chǔ)體C為目標(biāo)。命令768是與寫操作“C”相對(duì)應(yīng)的行預(yù)充電命令。(為了簡(jiǎn)單，沒有示出與寫操作“A”和“B”相關(guān)聯(lián)的行預(yù)充電命令，以及用于讀操作“E”的行激活命令，和其他讀操作)。命令780-784與讀操作“E”相對(duì)應(yīng)，其以DRAM中的存儲(chǔ)體E為目標(biāo)。命令780和782是列讀取命令，并且命令784是行預(yù)充電命令。
本領(lǐng)域的技術(shù)人員可以理解，當(dāng)tΔWR786不足夠大時(shí)，命令784落在紅色區(qū)域794中，這示出了此時(shí)命令784侵犯tPP。為了保證命令784落在綠色區(qū)域796中，存儲(chǔ)器控制器遵從約束8，約束8是“tΔWR≥tWRP-tRDP+tPP+tCC-4”。如果忽略該約束，存儲(chǔ)器控制器將需要特殊硬件，以確保在非提前讀取寫到讀轉(zhuǎn)變時(shí)，tPP不被侵犯。
另外，本領(lǐng)域的技術(shù)人員可以理解，根據(jù)系統(tǒng)配置和動(dòng)態(tài)條件，用于讀流的命令平鋪可以不同于圖7所示的。對(duì)于寫流也類似。圖7僅是一種可能，僅用于說明性目的。
圖8是示出在使用約束以配置存儲(chǔ)器系統(tǒng)中所采用的步驟的流程圖。存儲(chǔ)器控制器設(shè)計(jì)者識(shí)別、定義和遵從減少/消除命令沖突、數(shù)據(jù)矛盾和/或檢查具體定時(shí)參數(shù)的需要的約束。通過這樣做，可以降低存儲(chǔ)器控制器設(shè)計(jì)的復(fù)雜度(見圖3和針對(duì)關(guān)于約束產(chǎn)生的進(jìn)一步細(xì)節(jié)的相應(yīng)文字)。
處理開始于800，因此在步驟810，處理從規(guī)范存儲(chǔ)347取回存儲(chǔ)器控制器規(guī)范。規(guī)范存儲(chǔ)347與圖3所示的規(guī)范存儲(chǔ)相同，并且包括用于存儲(chǔ)器控制器的約束和所支持的參數(shù)范圍。在步驟820，處理選擇在存儲(chǔ)器系統(tǒng)中使用的DRAM，取回相應(yīng)的DRAM規(guī)范，并且根據(jù)DRAM規(guī)范選擇最優(yōu)定時(shí)參數(shù)值。在步驟830，處理檢查與存儲(chǔ)器控制器規(guī)范相抵觸的最優(yōu)定時(shí)參數(shù)值。
進(jìn)行關(guān)于是否存在約束或定時(shí)參數(shù)范圍侵犯的確定(判斷840)。如果不存在約束或定時(shí)參數(shù)范圍侵犯，判斷840轉(zhuǎn)向“否”分支842，因此處理初始化存儲(chǔ)器系統(tǒng)，根據(jù)定時(shí)參數(shù)值配置存儲(chǔ)器控制器(可能還有DRAM)，以及開始系統(tǒng)操作。存儲(chǔ)器系統(tǒng)配置處理在855結(jié)束。
另一方面，如果存在約束或定時(shí)參數(shù)范圍侵犯，判斷840轉(zhuǎn)向“是”分支848，因此處理識(shí)別要進(jìn)行的動(dòng)作，并且調(diào)整一個(gè)或多個(gè)定時(shí)參數(shù)值(步驟860)。使用圖5所示的約束8作為例子，處理調(diào)整tΔWR，以便于滿足約束，然后檢查對(duì)于所調(diào)整的tΔWR其他約束是否還滿足，以及新參數(shù)值是否仍在所支持的存儲(chǔ)器控制器范圍之內(nèi)(見以下)。
進(jìn)行關(guān)于定時(shí)參數(shù)值是否仍滿足DRAM要求的確定(判斷870)。如果定時(shí)參數(shù)值仍滿足DRAM要求，判斷870轉(zhuǎn)向“是”分支872，其向后循環(huán)以檢查與存儲(chǔ)器控制器規(guī)范相抵觸的所調(diào)整的定時(shí)參數(shù)值。另一方面，如果定時(shí)參數(shù)值仍不滿足DRAM要求，判斷870轉(zhuǎn)向“否”分支878，因此需要選擇不同的DRAM(步驟880)，處理通過步驟序列開始確定新DRAM是否將與存儲(chǔ)器控制器一起工作。
本發(fā)明的一種優(yōu)選實(shí)現(xiàn)是客戶應(yīng)用程序，即，代碼模塊中的指令集(程序代碼)，其例如可以駐留在計(jì)算機(jī)的隨機(jī)存取存儲(chǔ)器中。直到由計(jì)算機(jī)要求，指令集合可以存儲(chǔ)在另一計(jì)算機(jī)存儲(chǔ)器中，例如，在硬盤驅(qū)動(dòng)器，或者在如光盤(最終用于CD ROM中)或軟盤(最終用于軟盤驅(qū)動(dòng)器中)的可移動(dòng)存儲(chǔ)器中，或者經(jīng)由互聯(lián)網(wǎng)或其他計(jì)算機(jī)網(wǎng)絡(luò)下載。因此，本發(fā)明可以實(shí)現(xiàn)為一種用于在計(jì)算機(jī)中使用的計(jì)算機(jī)程序產(chǎn)品。另外，盡管在由軟件選擇性地激活或者重新配置的通用目的計(jì)算機(jī)中方便地實(shí)現(xiàn)所描述的各種方法，本領(lǐng)域的技術(shù)人員還可以認(rèn)識(shí)到這些方法可以在硬件、固件或者在構(gòu)造來用于執(zhí)行所要求的方法步驟的專用裝置中執(zhí)行。
盡管已示出和描述了本發(fā)明的具體實(shí)施方式
，對(duì)本領(lǐng)域的技術(shù)人員，根據(jù)這里的教義，在不偏離本發(fā)明以及其擴(kuò)大方面的前提下，可以進(jìn)行改變和修改是顯而易見的。因此，所附的權(quán)利要求意在將所有這種改變和修改包含在其范圍內(nèi)，因?yàn)樗鼈冊(cè)诒景l(fā)明的真正精神和范圍內(nèi)。此外，可以理解，僅由所附的權(quán)利要求定義本發(fā)明。本領(lǐng)域的技術(shù)人員可以理解，如果所介紹的權(quán)利要求元素的具體數(shù)目是目的性的，則這種目的將在權(quán)利要求中明確地?cái)⑹?，并且缺少這種敘述時(shí)，不表現(xiàn)這種限制。作為對(duì)理解進(jìn)行幫助的非限制的例子，以下所附的權(quán)利要求包含介紹性的短語(yǔ)“至少一個(gè)”和“一個(gè)或多個(gè)”的使用，以介紹權(quán)利要求元素。當(dāng)在權(quán)利要求的某個(gè)元素之前使用“一個(gè)”或“某個(gè)”時(shí)，即使權(quán)利要求中同時(shí)還使用了“至少一個(gè)”和“一個(gè)或多個(gè)”，前者也并不意味著是將發(fā)明限定為僅僅含有一個(gè)這樣的元素。
權(quán)利要求
1.一種計(jì)算機(jī)實(shí)現(xiàn)的方法，包括識(shí)別麻煩的參數(shù)值組合；產(chǎn)生與麻煩的參數(shù)值組合相對(duì)應(yīng)的約束；以及根據(jù)所產(chǎn)生的約束配置存儲(chǔ)器控制器。
2.權(quán)利要求1的方法，其中所述麻煩的參數(shù)值組合包括多個(gè)參數(shù)值，每一個(gè)參數(shù)值與一個(gè)定時(shí)參數(shù)范圍相對(duì)應(yīng)，所述方法還包括確定該多個(gè)參數(shù)值的出現(xiàn)概率。
3.權(quán)利要求1的方法，其中所述約束與一種約束類型相對(duì)應(yīng)，從包括命令沖突概率減小、參數(shù)驗(yàn)證選項(xiàng)和數(shù)據(jù)矛盾解決的組中選擇所述約束類型。
4.權(quán)利要求1的方法，還包括確定所述約束簡(jiǎn)化了所述存儲(chǔ)器控制器的設(shè)計(jì)。
5.權(quán)利要求1的方法，還包括根據(jù)所述約束，確定所述存儲(chǔ)器控制器的性能降低；以及響應(yīng)所述確定，發(fā)送信號(hào)以將邏輯包括在所述存儲(chǔ)器控制器中。
6.權(quán)利要求1的方法，其中所述存儲(chǔ)器控制器連接到極限數(shù)據(jù)率體系結(jié)構(gòu)。
7.權(quán)利要求1的方法，其中所述存儲(chǔ)器控制器包括在處理部件體系結(jié)構(gòu)中。
8.一種信息處理系統(tǒng)，包括一個(gè)或多個(gè)處理器；可由處理器訪問的存儲(chǔ)器；一個(gè)或多個(gè)可由處理器訪問的非易失性存儲(chǔ)設(shè)備；在處理器之一中所包括的存儲(chǔ)器控制器；以及用于約束產(chǎn)生的存儲(chǔ)器控制器設(shè)計(jì)工具，所述存儲(chǔ)器控制器設(shè)計(jì)工具包括軟件代碼，用于識(shí)別與所述存儲(chǔ)器控制器相對(duì)應(yīng)的麻煩的參數(shù)值組合；產(chǎn)生與所述麻煩的參數(shù)值組合相對(duì)應(yīng)的約束；以及根據(jù)所產(chǎn)生的約束配置所述存儲(chǔ)器控制器。
9.權(quán)利要求8的信息處理系統(tǒng)，其中麻煩的參數(shù)值組合包括多個(gè)參數(shù)值，每一個(gè)參數(shù)值與定時(shí)參數(shù)范圍相對(duì)應(yīng)，所述計(jì)算機(jī)程序代碼還用于確定與所述存儲(chǔ)器控制器相對(duì)應(yīng)的多個(gè)參數(shù)值的出現(xiàn)概率。
10.權(quán)利要求8的信息處理系統(tǒng)，其中所述約束與一種約束類型相對(duì)應(yīng)，從包括命令沖突概率減小、參數(shù)驗(yàn)證選項(xiàng)和數(shù)據(jù)矛盾解決的組中選擇所述約束類型。
11.權(quán)利要求8的信息處理系統(tǒng)，其中所述軟件代碼還用于確定簡(jiǎn)化所述存儲(chǔ)器控制器設(shè)計(jì)的約束。
12.權(quán)利要求8的信息處理系統(tǒng)，其中所述軟件代碼還用于根據(jù)所述約束確定所述存儲(chǔ)器控制器性能的降低；以及響應(yīng)所述確定，發(fā)送信號(hào)以將邏輯包括到所述存儲(chǔ)器控制器中。
13.權(quán)利要求8的信息處理系統(tǒng)，其中所述存儲(chǔ)器控制器連接到極限數(shù)據(jù)率體系結(jié)構(gòu)。
14.一種程序產(chǎn)品，包括具有用于執(zhí)行權(quán)利要求1-7任何之一中的操作的計(jì)算機(jī)程序代碼的計(jì)算機(jī)可操作介質(zhì)。
全文摘要
提出了一種用于使用約束來簡(jiǎn)化存儲(chǔ)器控制器的方法和系統(tǒng)。存儲(chǔ)器控制器設(shè)計(jì)工具取回由存儲(chǔ)器控制器所支持的參數(shù)范圍，并且識(shí)別麻煩的參數(shù)值組合。存儲(chǔ)器控制器設(shè)計(jì)工具建議1)向存儲(chǔ)器控制器增加邏輯，以解決矛盾，2)加入減少/消除命令沖突、數(shù)據(jù)矛盾、和/或檢查具體定時(shí)參數(shù)的需要的約束，或者3)二者的組合。存儲(chǔ)器控制器設(shè)計(jì)工具可以與存儲(chǔ)器控制器設(shè)計(jì)者一起工作，以定義和使用約束。
文檔編號(hào)G06F3/06GK1845058SQ200610008369
公開日2006年10月11日 申請(qǐng)日期2006年2月21日 優(yōu)先權(quán)日2005年4月7日
發(fā)明者馬克·戴維·貝洛斯, 瑞安·埃布爾·赫肯多爾夫 申請(qǐng)人:國(guó)際商業(yè)機(jī)器公司