Spyglass 的 Clock Domain Crossing (CDC) 檢查

Spyglass 的 Clock Domain Crossing (CDC) 檢查



Spyglass 的 Clock Domain Crossing (CDC) 檢查是用于驗證數(shù)字設(shè)計中跨時鐘域信號傳輸?shù)囊唤M功能。在多時鐘域的設(shè)計中，數(shù)據(jù)從一個時鐘域傳輸?shù)搅硪粋�時鐘域時可能會出現(xiàn)時序問題，例如亞穩(wěn)態(tài)（metastability）和數(shù)據(jù)丟失。Spyglass 的 CDC 檢查旨在發(fā)現(xiàn)這些問題并提供建議的解決方案。

CDC流程
Goal：表示一系列相互關(guān)聯(lián)的規(guī)則集合，它們共同作用以實現(xiàn)RTL分析中的特定目標(biāo)。
Rule：表示SpyGlass在進(jìn)行RTL分析時最小的執(zhí)行單元。

cdc/cdc_setup和cdc/cdc_setup_check：主要任務(wù)是驗證約束文件的完整性，確保所有輸入輸出端口都得到了100%的約束覆蓋。
cdc/cdc_verify_struct：重點在于確認(rèn)信號是否經(jīng)過了適當(dāng)?shù)耐�步處理�?br /> cdc/cdc_verify：主要的工作是檢測數(shù)據(jù)丟失問題、信號聚合問題，并對檢測到的握手信號、FIFO模塊等問題進(jìn)行報告。

Goals	Rules
cdc/cdc_setup	Clock_info01 Reset_info01 SetupClock01
cdc/cdc_setup_check	Clock_info03a Clock_info05/a/b Clock_info18
cdc/cdc_verify_struct	Ac_unsync01/02 Ac_sync01/02 Ar_async* Clock_sync05/06 Ac_conv01/02/03 Setup_quasi_static Ac_glitch03
cdc/cdc_verify	Ac_cdc01a Ac_datahold01a Ac_conv02/04/05 Ac_fifo01 Ac_handshake01/02

Clock_info01：檢查時鐘的基本信息，如時鐘定義、時鐘頻率和時鐘域的識別。
Reset_info01：檢查復(fù)位信號的基本信息，包括復(fù)位的極性、類型和確保所有寄存器都被正確復(fù)位。
SetupClock01：檢查時鐘設(shè)置，包括時鐘屬性、時鐘約束和時鐘關(guān)系的定義。

Clock_info03：驗證時鐘信號的詳細(xì)信息，如時鐘屬性、時鐘域交叉和時鐘同步機制。
Clock_info05/a/b：檢查特定的時鐘信息，如時鐘網(wǎng)絡(luò)的完整性、時鐘質(zhì)量的評估等。
Clock_info18：檢查時鐘域特定的屬性，如時鐘域的隔離、時鐘域間的交互等。


Ac_unsync01/02：檢查未同步信號的處理，確保在跨時鐘域傳輸中未同步信號的安全性。
Ac_sync01/02：檢查同步信號的處理，包括同步機制的正確性和時序要求。
Ar_async：檢查異步信號的處理，確保異步信號在跨時鐘域傳輸中的正確性。
Clock_sync05/06：檢查時鐘同步機制的正確性，包括同步器的使用和配置。
Ac_conv01/02/03：檢查信號轉(zhuǎn)換的處理，確保信號在跨時鐘域傳輸中的轉(zhuǎn)換是安全的。
Setup_quasi_static：檢查準(zhǔn)靜態(tài)信號的處理，確保這些信號在跨時鐘域傳輸中的穩(wěn)定性。
Ac_glitch03：檢查潛在的時鐘毛刺問題，確保時鐘信號的質(zhì)量。

Ac_cdc01a：檢查跨時鐘域信號傳輸?shù)幕�本要求，如信號同步和時序分析。
Ac_datahold01a：檢查數(shù)據(jù)保持時間的要求，確保數(shù)據(jù)在跨時鐘域傳輸中的穩(wěn)定性。
Ac_conv02/04/05：檢查信號轉(zhuǎn)換的特定方面，如信號編碼和格式的轉(zhuǎn)換。
Ac_fifo01：檢查異步FIFO的實現(xiàn)和配置，確保FIFO在跨時鐘域傳輸中的正確性。
Ac_handshake01/02：檢查握手信號的處理，確保在跨時鐘域傳輸中握手信號的可靠性。



?
?
END
?