相關閱讀
Spyglasshttps://blog.csdn.net/weixin_45791458/category_12828934.html?spm=1001.2014.3001.5482
簡介
????????同步使能方案主要用于數據信號跨時鐘域同步,該方案將一個控制信號同步至目標時鐘域并用其作為數據信號的捕獲觸發器的使能信號,如圖1所示。
圖1?同步使能方案
????????圖2是Ac_sync01規則提供的Spreadsheet,其中展示了控制信號跨時鐘域相關細節,如果該信號同步失敗,數據信號的同步也會失敗。?
?
圖2?Ac_sync01規則提供的Spreadsheet
????????圖3是Ac_sync02規則提供的Spreadsheet,其中展示了數據信號跨時鐘域相關細節,主要到控制信號ee_ff2被識別為了Qualifier。??
?
圖3?Ac_sync02規則提供的Spreadsheet
? ? ? ? 除了圖1所示的情況,Spyglass允許捕獲觸發器的使能信號的扇入中存在目標時鐘域的觸發器或輸入端口(但一定需要一個由源時鐘域同步來的控制信號),如圖4所示。
圖4 同步使能方案
相關參數或約束
enable_sync_cell參數
allow_combo_logic參數
? ? ? ? 默認情況下,Spyglass允許通過組合邏輯跨時鐘域,將allow_combo_logic參數設置為no可以禁止這種情況,下面給出了一個例子。
// test.prj
set_parameter allow_combo_logic no
????????圖5展示了這種情況下通過組合邏輯跨時鐘域時出現Ac_unsync01錯誤(實際上,即使allow_combo_logic參數設置yes,也只是不出現Ac_unsync01錯誤,但Ac_glitch03錯誤會出現,即Spyglass識別到毛刺)。?
圖5?組合邏輯跨時鐘域錯誤
????????最后順帶一提,該跨時鐘域方案支持源對象為觸發器或黑盒,目標對象必須為觸發器。