如何進行Keypoint mapping操作

今天就跟大家聊聊有關如何進行Keypoint mapping操作，可能很多人都不太了解，為了讓大家更加了解，小編給大家總結了以下內容，希望大家根據這篇文章可以有所收獲。

今次來聊形式驗證中關鍵的一步mapping. 在LEC 中執行命令"set_system_mode lec" 工具即會進行mapping 操作；如果不想讓工具在切模式時做mapping 請用命令"set_system_mode lec -nomap" 來切模式，切換到lec 模式之后再用命令"map_key_points" 來做mapping. 如果你不是老頑固，請用第一種方式。

mapping 是形式驗證最關鍵的一步，mapping 算法厲害與否基本決定了一個形式驗證工具的優劣。而LEC 的mapping 算法顯然是強大的，它不依賴于任何優化工具吐出的指導文件即能完成mapping. LEC mapping 可以分成三步：

• 識別：在分析完golden 跟 revised 設計之后，識別KeyPoint. 

• 配對：對Golden 中的每一個KeyPoint 確定Revised 中與之對應的KeyPoint. 

• 綁定：將對應的KeyPoint 綁定到一起。

識別

LEC 會分別分析Golden 和 Revised 設計來識別KeyPoint 并按照PI, PO, BBOX, DLAT, DFF, CUT, Z, E 將KeyPoint 分類。在解析設計時，LEC 會對設計中的所有Gate 進行編號，每個Gate 都有一個自己專屬的編號，俗稱"Gate-ID", 在后續的debug 中可以直接用該ID 訪問對應Gate. mapping 完之后可以用如下命令來報出設計中對應的KeyPoint. 

report_key_point -type DFF DLAT CUT PO –revised 

配對

配對是mapping 中最重要且復雜的一步，此時LEC 要充當月老角色，通過復雜算法根據出身、性別、年齡、性格給Golden 中每一個KeyPoint 在Revised 中找一個如意郎君。在配對時還需要將Golden 或Revised 中冗余的KeyPoint 剔除掉，如被優化掉的常值寄存器、工具插入的clock gating 邏輯、做了合并的寄存器等，這些冗余的KeyPoint 是天注定的單身狗，沒對可配。 到目前為止工具仍是用戶的使役，在LEC 中用戶可以用命令"add mapped points" 做強行配對。

綁定

配好對之后，需要將對應的KeyPoint 一一綁定起來。綁定完成后Mapping 結束，LEC 會給出一個summary 結果。

Mapping 結束后可以在GUI 中點擊長得像一本書的這個按鈕，打開Mapping Manager 來檢查Mapping 的結果，成功mapping 的點會被標注成"Mapped Key Point", 沒有mapping 成功的點，會被分成三類：Unreachable, Extra, Not-mapped, 對于每一類的含義請聽下回分解。

在實際項目中，mapping 過程可能需要多次迭代或修正，如綜合工具對設計中對象名字的更改超出了LEC 默認的命名匹配規則，則需要在LEC 中用命令"set naming rule" 或"add renaming rule" 做相應設置，或者用命令"set mapping method" 來調整mapping 策略；如綜合工具做了冗余/常值寄存器優化，做了寄存器merge, 插了clock gating cell, 則需要用命令"set flatten model" 使能對應的modeling 算法。更新了對應設置后可以用命令"map key points" 做進一步mapping. 

看完上述內容，你們對如何進行Keypoint mapping操作有進一步的了解嗎？如果還想了解更多知識或者相關內容，請關注億速云行業資訊頻道，感謝大家的支持。