Spyglass 的 Clock Domain Crossing (CDC) 檢查

Spyglass 的 Clock Domain Crossing (CDC) 檢查



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

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

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

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

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


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

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



?
?
END
?