用于按管腳apg的快速語義處理器的制造方法
【專利摘要】本發(fā)明涉及用于按管腳APG的快速語義處理器。一種存儲(chǔ)器測(cè)試語言編譯器包括：快速語義處理器，用于對(duì)測(cè)試程序中的編程式樣進(jìn)行是以，包括將有狀態(tài)式樣轉(zhuǎn)換成無狀態(tài)式樣；以及設(shè)備訪問時(shí)序產(chǎn)生模塊，基于無狀態(tài)式樣來生成輸出。
【專利說明】用于按管腳APG的快速語義處理器

【技術(shù)領(lǐng)域】
[0001] 本發(fā)明一般地涉及集成電路的測(cè)試，更具體地涉及用于按管腳APG(Aut〇matic Pattern Generator,自動(dòng)式樣生成器）的快速語義處理器。

【背景技術(shù)】
[0002] 在對(duì)諸如存儲(chǔ)器或SoC(片上系統(tǒng)）芯片之類的集成電路的智能測(cè)試中使用測(cè)試 處理機(jī)，測(cè)試處理機(jī)通常缺少寄存器和計(jì)算單元并且無法進(jìn)行條件執(zhí)行。相反，測(cè)試處理機(jī) 只能執(zhí)行嵌套式重復(fù)樹，嵌套式重復(fù)樹的一個(gè)示例如下：
[0003]

【權(quán)利要求】
1. 一種存儲(chǔ)器測(cè)試語言編譯器，包括： 快速語義處理器，用于對(duì)測(cè)試程序中的編程式樣進(jìn)行釋譯，包括將有狀態(tài)式樣轉(zhuǎn)換成 無狀態(tài)式樣；以及 設(shè)備訪問時(shí)序產(chǎn)生模塊，基于所述無狀態(tài)式樣來生成輸出。
2. 如權(quán)利要求1所述的存儲(chǔ)器測(cè)試語言編譯器，其中，所述快速語義處理器為作為輸 出的設(shè)備訪問行產(chǎn)生閉包，在閉包狀態(tài)下，每個(gè)設(shè)備訪問行處于關(guān)閉的狀態(tài)。
3. 如權(quán)利要求2所述的存儲(chǔ)器測(cè)試語言編譯器，其中，所述快速語義處理器為所述測(cè) 試程序的抽象語法數(shù)創(chuàng)建獨(dú)立樹，根據(jù)所述獨(dú)立樹計(jì)算所述測(cè)試程序中的變量的相互依賴 關(guān)系，根據(jù)所述獨(dú)立樹為所述測(cè)試程序中的各次賦值計(jì)算循環(huán)依賴關(guān)系，從所述變量的相 互依賴關(guān)系和所述循環(huán)依賴關(guān)系形成函子并且使用緩存包來處理遞歸變量，并且將函子傳 播到作為輸出的設(shè)備訪問行中，其中所述函子在需要時(shí)引用所述緩存包。
4. 一種用于編譯測(cè)試程序的方法，包括： 接收測(cè)試程序； 從所述測(cè)試程序的抽象語法樹創(chuàng)建獨(dú)立樹； 根據(jù)所述獨(dú)立樹計(jì)算所述測(cè)試程序中的變量的相互依賴關(guān)系； 根據(jù)所述獨(dú)立樹為所述測(cè)試程序中的各次賦值計(jì)算循環(huán)依賴關(guān)系； 從所述變量的相互依賴關(guān)系和所述循環(huán)依賴關(guān)系形成函子并且使用緩存包來處理遞 歸變量，其中所述函子在需要時(shí)引用所述緩存包；以及 將函子傳播到作為輸出的設(shè)備訪問行中。
5. 如權(quán)利要求4所述的方法，其中，所述獨(dú)立樹是所述抽象語法樹的包括計(jì)算變量的 相互依賴關(guān)系和循環(huán)依賴關(guān)系所需的數(shù)據(jù)的復(fù)制。
6. 如權(quán)利要求4所述的方法，其中，所述緩存包包括所述函子的計(jì)算歷史記錄。
7. 如權(quán)利要求4所述的方法，其中，所述變量的相互依賴關(guān)系和所述循環(huán)依賴關(guān)系是 通過遍歷所述獨(dú)立樹而計(jì)算的。
【文檔編號(hào)】G06F11/36GK104298590SQ201310298422
【公開日】2015年1月21日 申請(qǐng)日期:2013年7月16日 優(yōu)先權(quán)日:2013年7月16日
【發(fā)明者】崔華春, 卡茲·弗特克哈·艾哈邁德 申請(qǐng)人:愛德萬測(cè)試(新加坡)私人有限公司