[發(fā)明專利]檢測(cè)電路故障的方法及其裝置

在審

• 申請(qǐng)?zhí)枺?/td>: 201910299160.3
• 申請(qǐng)日: 2019-04-15
• 公開（公告）號(hào): CN111859843A
• 公開（公告）日: 2020-10-30
• 發(fā)明（設(shè)計(jì)）人: 羅翊修;陳勇仁;羅幼嵐;高淑怡
• 申請(qǐng)（專利權(quán)）人: 瑞昱半導(dǎo)體股份有限公司
• 主分類號(hào): G06F30/398
• 分類號(hào): G06F30/398
• 代理公司: 北京康信知識(shí)產(chǎn)權(quán)代理有限責(zé)任公司 11240
• 代理人: 梁麗超

1.一種檢測(cè)電路故障的方法，用于一緩存器傳輸層級(jí)設(shè)計(jì)時(shí)間，該方法包含有：

從基于該緩存器傳輸層級(jí)設(shè)計(jì)時(shí)間的一電路模型中，取得每個(gè)緩存器的各個(gè)信號(hào)點(diǎn)；

根據(jù)每個(gè)緩存器的各個(gè)信號(hào)點(diǎn)，產(chǎn)生一屬性列表，其中該屬性列表包含各個(gè)信號(hào)點(diǎn)欲驗(yàn)證的一屬性；

根據(jù)該電路模型及該屬性列表，進(jìn)行一正規(guī)驗(yàn)證操作，用來(lái)決定在該電路模型中，該屬性列表中的各個(gè)信號(hào)點(diǎn)的該屬性是否成立；以及

根據(jù)屬性不成立的信號(hào)點(diǎn)，產(chǎn)生一電路故障原因。

2.如權(quán)利要求1所述的方法，其中該屬性為一信號(hào)點(diǎn)的一切換能力，以及該屬性列表包含緩存器的一頻率、一重置、一輸出及一輸入的信號(hào)點(diǎn)的切換能力。

3.如權(quán)利要求2所述的方法，還包含有：

當(dāng)該頻率、重置、輸入及輸出的信號(hào)點(diǎn)的至少其中之一的該屬性不成立時(shí)，判斷該頻率、重置、輸入及輸出的信號(hào)點(diǎn)的至少其中之一不具切換能力。

4.如權(quán)利要求3所述的方法，其中根據(jù)屬性不成立的信號(hào)點(diǎn)，產(chǎn)生該電路故障原因的步驟包含有：

對(duì)不具切換能力的信號(hào)點(diǎn)所對(duì)應(yīng)的緩存器中的各個(gè)信號(hào)點(diǎn)，進(jìn)行檢視，以產(chǎn)生該電路故障原因。

5.如權(quán)利要求2所述的方法，還包含有：

當(dāng)決定一信號(hào)點(diǎn)的該屬性不成立時(shí)，判斷該信號(hào)點(diǎn)不具切換能力；

產(chǎn)生不具切換能力之信號(hào)點(diǎn)的一信號(hào)列表；以及

根據(jù)該信號(hào)列表，產(chǎn)生該電路故障原因，以修正該電路模型。

6.一種電子裝置，用于一緩存器傳輸層級(jí)設(shè)計(jì)時(shí)間的電路故障檢測(cè)，該電子裝置包含有：

一萃取緩存器單元，用來(lái)從基于該緩存器傳輸層級(jí)設(shè)計(jì)時(shí)間的一電路模型中，取得每個(gè)緩存器的各個(gè)信號(hào)點(diǎn)；

一生成驗(yàn)證屬性單元，用來(lái)根據(jù)每個(gè)緩存器的各個(gè)信號(hào)點(diǎn)，產(chǎn)生一屬性列表，其中該屬性列表包含各個(gè)信號(hào)點(diǎn)欲驗(yàn)證的一屬性；一正規(guī)方法計(jì)算單元，用來(lái)根據(jù)該電路模型及該屬性列表，進(jìn)行一正規(guī)驗(yàn)證操作，以及產(chǎn)生包含屬性不成立的信號(hào)點(diǎn)的一信號(hào)列表；以及

一電路故障判斷單元，用來(lái)根據(jù)該信號(hào)列表，產(chǎn)生一電路故障原因，用來(lái)修正該電路模型。

7.如權(quán)利要求6所述的電子裝置，其中該電路故障判斷單元更用來(lái)判斷該信號(hào)列表中的信號(hào)點(diǎn)無(wú)切換能力，以及對(duì)無(wú)切換能力的信號(hào)點(diǎn)所對(duì)應(yīng)的緩存器中的各個(gè)信號(hào)點(diǎn)進(jìn)檢視，以產(chǎn)生該電路故障原因。

8.一種電子裝置，用于一緩存器傳輸層級(jí)設(shè)計(jì)時(shí)間的電路故障檢測(cè)，該電子裝置包含有：

一處理單元，用來(lái)執(zhí)行一程序代碼；

一儲(chǔ)存單元，耦接于該處理裝置，用來(lái)儲(chǔ)存該程序代碼，其中該程序代碼指示該處理單元執(zhí)行以下步驟：

從基于該緩存器傳輸層級(jí)設(shè)計(jì)時(shí)間的一電路模型中，取得每個(gè)緩存器的各個(gè)信號(hào)點(diǎn)；

根據(jù)每個(gè)緩存器的各個(gè)信號(hào)點(diǎn)，產(chǎn)生一屬性列表，其中該屬性列表包含各個(gè)信號(hào)點(diǎn)欲驗(yàn)證的一屬性；

根據(jù)該電路模型及該屬性列表，進(jìn)行一正規(guī)驗(yàn)證操作，用來(lái)決定在該電路模型中，該屬性列表中的各個(gè)信號(hào)點(diǎn)的該屬性是否成立；以及

當(dāng)一信號(hào)點(diǎn)的該屬性不成立時(shí)，判斷該信號(hào)點(diǎn)所對(duì)應(yīng)的緩存器故障。