隨著設計復雜性的躍升，以覆蓋為導向的驗證已經(jīng)從高端解決方案轉(zhuǎn)變成主力軍。雖然整個eda產(chǎn)業(yè)正傾向于覆蓋為導向的驗證，追求通用性覆蓋數(shù)據(jù)庫，并享用這種“新”技術帶來的好處，但有個問題也應運而生：你能充分利用當前已有的所有衡量標準嗎？

予以正確實現(xiàn)并以覆蓋為導向的驗證是一種用于自動創(chuàng)建測試代碼和客觀地跟蹤過程的理想工具。它是以衡量標準為導向的一個驗證例子。以衡量標準為導向的驗證可以被寬泛地定義為任何驗證過程，該過程可通過客觀、自動采集的過程數(shù)據(jù)跟蹤和實現(xiàn)自動化。下面是以衡量標準為導向的其它策略性和戰(zhàn)術性驗證方法，目前已有可用的過程數(shù)據(jù)支持這些方法，它們是：代碼覆蓋、功能覆蓋和版本控制信息。

讓代碼覆蓋重現(xiàn)生機。代碼覆蓋數(shù)據(jù)是多年來設計和驗證中一直可用的過程衡量標準—幾乎在設計師使用rtl之時就開始了。然而，這是一個利用率最低的衡量標準。通過代碼覆蓋數(shù)據(jù)可以告訴設計工程師所有代碼是否都被檢查過。這對完美驗證來說當然是一個必要條件，但還不夠。每行代碼都得到了執(zhí)行并不意味著器件的所有功能都得到了驗證。

功能覆蓋有著同樣的充分性問題。由于功能覆蓋取決于覆蓋模型的構(gòu)造，不完整的模型將錯誤地指示完整的覆蓋。

使用衡量標準組合

通過同時分析代碼和功能覆蓋，可以獲得更完整的驗證過程圖像。附表粗略給出了三種情況。如果我們有高的功能覆蓋率和高的代碼覆蓋率，驗證可能如期望的那樣執(zhí)行。當然，一個遺漏的維度仍會產(chǎn)生問題。假如設計中增加了一個新功能，但還沒有實現(xiàn)或驗證？基于性能的可執(zhí)行驗證計劃可解決這個問題。隨著每個新功能的加入，在覆蓋被全部實現(xiàn)和跟蹤之前驗證計劃始終會產(chǎn)生不完整的報告。

如果代碼覆蓋率高而功能覆蓋率低會如何？它會指出器件的測試套件相對器件的定義功能是不完整的，同時也會指示對應于遺漏功能覆蓋的設計部分還沒有得到實現(xiàn)。

如果代碼覆蓋率低、而功能覆蓋率低會如何？它會指出功能覆蓋部分還沒有實現(xiàn)，同時也會指示存在著不提供實際功能的設計結(jié)構(gòu)。也許是一個性能及其相應測試代碼被刪除了，但針對這一性能的實際設計代碼還沒有被刪除。通過分析這兩種可用覆蓋衡量標準的組合，設計和驗證團隊可以獲得更完整的過程圖像。

另外一種經(jīng)常被忽視的衡量標準可以幫助驗證：版本控制數(shù)據(jù)。版本控制數(shù)據(jù)可以是調(diào)試過程中的一個關鍵指示器。通過自動繪制最近故障相對最近rtl版本的曲線圖，驗證工程師可能快速了解潛伏性問題所在。

調(diào)試中的功能覆蓋

功能覆蓋可以用作戰(zhàn)術性過程衡量標準和策略性衡量標準。工程師可以查詢故障測試案例的功能覆蓋數(shù)據(jù)庫，從而確定被驗證的器件是怎樣配置的。

隨后工程師就可查詢集合遞歸級覆蓋數(shù)據(jù)庫，以發(fā)現(xiàn)其中器件用相同方式配置的其它通過性測試案例。對這些通過和失敗測試案例之間差異的分析可以突出引起器件故障的原因。