在綜合和功耗優(yōu)化過(guò)程中，可能會(huì)不知不覺(jué)地引入許多 CDC 錯(cuò)誤。綜合過(guò)程可能帶來(lái)的 CDC 問(wèn)題包括：

? CDC 路徑中出現(xiàn)新的易發(fā)生毛刺的組合邏輯

? 由于插入電源、測(cè)試或安全邏輯而產(chǎn)生的新 CDC路徑

? 由于邏輯優(yōu)化，現(xiàn)有 CDC 同步結(jié)構(gòu)可能會(huì)被破壞

因此，CDC 驗(yàn)證不僅在 RTL 有必要，在門(mén)級(jí)也必不可少。在 RTL，重點(diǎn)是通過(guò)識(shí)別 CDC 結(jié)構(gòu)和方案來(lái)確定時(shí)鐘域和 CDC 路徑。在門(mén)級(jí)，具有多路復(fù)用器或組合邏輯的 CDC 路徑常常容易出現(xiàn)毛刺缺陷，在綜合、時(shí)序和功耗優(yōu)化過(guò)程中可能會(huì)引入這些缺陷。如果僅在 RTL 進(jìn)行 CDC 驗(yàn)證，則此類(lèi)毛刺缺陷很容易被遺漏，導(dǎo)致代價(jià)高昂的流片后芯片失效。根據(jù)我們?cè)诳蛻?hù)多個(gè)項(xiàng)目中部署 Questa Signoff CDC 的經(jīng)驗(yàn)，我們了解到：

1. 不同類(lèi)型的 CDC 路徑都可能產(chǎn)生潛在毛刺。必須清楚地識(shí)別毛刺，以便能夠創(chuàng)建算法來(lái)有效地予以分析。

2. 門(mén)級(jí) CDC 分析費(fèi)時(shí)很長(zhǎng)（從幾小時(shí)到幾天）。如果必須進(jìn)行細(xì)微改進(jìn)，從最后一步重新開(kāi)始比從頭重新開(kāi)始效率要高得多。

3. 隨著設(shè)計(jì)復(fù)雜性不斷增加，支持異構(gòu)層次化方法至關(guān)重要。與此同時(shí)，隨著內(nèi)存消耗持續(xù)增長(zhǎng)，識(shí)別進(jìn)程中的并行性并采取分而治之的策略會(huì)很有用。

本文首先說(shuō)明各種類(lèi)型 CDC 路徑中的毛刺問(wèn)題，然后概述一種基于形式化的自動(dòng)毛刺檢測(cè)方法。該方法利用結(jié)構(gòu) CDC 分析、表達(dá)式分析和形式化方法來(lái)消除和證明設(shè)計(jì)中的真正毛刺。為了處理運(yùn)行時(shí)間更長(zhǎng)、更復(fù)雜的設(shè)計(jì)，我們將先前的方法分解為一個(gè)更靈活的層次化、多階段和多處理流程。本文說(shuō)明了該流程的各個(gè)階段以及如何實(shí)現(xiàn)并行處理。

編輯：黃飛