[發(fā)明專利]用于支持可重構(gòu)處理器的驗證的設(shè)備和方法

有效

• 申請?zhí)枺?/td>: 201310033915.8
• 申請日: 2013-01-29
• 公開（公告）號: CN103309803B
• 公開（公告）日: 2017-06-23
• 發(fā)明（設(shè)計）人: 曹暎喆;金泰松;徐東寬;韓淵照
• 申請（專利權(quán)）人: 三星電子株式會社
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F15/76
• 代理公司: 北京銘碩知識產(chǎn)權(quán)代理有限公司11286
• 代理人: 韓明星,魯恭誠

1.一種用于可重構(gòu)處理器的驗證支持設(shè)備，包括：

無效操作確定器，被配置為從對源代碼的調(diào)度的結(jié)果檢測任何無效操作；

掩蔽提示產(chǎn)生器，被配置為針對檢測到的無效操作產(chǎn)生掩蔽提示，

其中，在寄存器傳輸級RTL模擬器中執(zhí)行無效操作的同時不在功能模擬器中執(zhí)行所述無效操作，

其中，所述掩蔽提示用于產(chǎn)生掩蔽信息，所述掩蔽信息用于防止可重構(gòu)處理器的驗證設(shè)備將功能模擬器和RTL模擬器獲得的模擬結(jié)果中的無效操作的模擬結(jié)果相互比較。

2.如權(quán)利要求1所述的驗證支持設(shè)備，其中，可重構(gòu)處理器是基于粗粒度陣列CGA的處理器。

3.如權(quán)利要求1所述的驗證支持設(shè)備，其中，所述無效操作是根據(jù)編譯器的模調(diào)度被映射到循環(huán)的序言或結(jié)語的操作。

4.如權(quán)利要求3所述的驗證支持設(shè)備，其中，所述掩蔽提示包括關(guān)于周期的序號和關(guān)于映射了無效操作的功能單元FU的ID的信息，其中，在所述周期中所述無效操作存在于循環(huán)的序言或結(jié)語中。

5.一種用于可重構(gòu)處理器的驗證支持方法，包括：

從對源代碼的調(diào)度的結(jié)果檢測任何無效操作；

針對檢測到的無效操作產(chǎn)生掩蔽提示，

其中，在寄存器傳輸級RTL模擬器中執(zhí)行無效操作的同時不在功能模擬器中執(zhí)行所述無效操作,

其中，所述掩蔽提示用于產(chǎn)生掩蔽信息，所述掩蔽信息用于防止可重構(gòu)處理器的驗證設(shè)備將功能模擬器和RTL模擬器獲得的模擬結(jié)果中的無效操作的模擬結(jié)果相互比較。

6.如權(quán)利要求5所述的驗證支持方法，其中，可重構(gòu)處理器是基于粗粒度陣列CGA的處理器。

7.如權(quán)利要求5所述的驗證支持方法，其中，所述無效操作是根據(jù)編譯器的模調(diào)度被映射到循環(huán)的序言或結(jié)語的操作。

8.如權(quán)利要求7所述的驗證支持方法，所述掩蔽提示包括關(guān)于周期的序號和關(guān)于映射了無效操作的功能單元FU的ID的信息，其中，在所述周期中所述無效操作存在于循環(huán)的序言或結(jié)語中。