相關閱讀

Spyglasshttps://blog.csdn.net/weixin_45791458/category_12828934.html?spm=1001.2014.3001.5482

簡介

????????長延遲信號方案用于控制或數據信號跨時鐘域同步，該方案將使用quasi_static約束的跨時鐘域信號視為已同步，如圖1所示。

// test.sgdc
quasi_static -name flag_a

圖1 長延遲信號方案

????????圖2是Ac_sync01規則提供的Spreadsheet，其中展示了跨時鐘域相關細節。

圖2?Ac_sync01規則提供的Spreadsheet

????????最后順帶一提，該跨時鐘域方案支持源對象和目標對象為觸發器或黑盒。

準靜態信號

? ? ? ? 準靜態信號指的是那些在大多數時間內保持靜態的信號（比如模式設置(setup)信號），可以用quasi_static約束指定或由Spyglass自動推斷。

quasi_static約束

????????當信號滿足以下任一條件時，才能使用該約束：

• 如果信號的值在大多數時間內是靜態的
• 如果目標觸發器的時鐘被停止
• 如果目標觸發器上存在激活的復位信號
• 如果跨時鐘域路徑中的邏輯對亞穩態問題不敏感

自動推斷

? ? ? ? 當觸發器的時鐘信號被set_case_analysis約束設置為恒定值時，其輸出信號將被Spyglass推斷為準靜態信號。

傳播

? ? ? ? 如果一個組合邏輯門的所有輸入都為準靜態信號，其輸出也為準靜態信號（如緩沖器和反相器）。準靜態信號可以通過D鎖存器（又稱透明鎖存器）傳播。

????????準靜態信號默認不通過觸發器/傳統鎖存器傳播，可以使用num_quasi_seq_elem參數（默認值為0）指定傳播深度，設置為-1將允許無限傳播深度。