應用於介面相符驗證之處理程序層級的功能涵蓋

Abstract

在設計現今的系統單晶片過程中，介面相符驗證扮演了一個相當重要的角色。一般而言，涵蓋量測有助於定量分析模擬式驗證的完整性；而在這篇論文中，我們針對介面相符驗證提出了處理程序層級的功能涵蓋方法，並發展一套可以在更高抽象層次描述處理程序的語言 – State-Oriented Language (SOL)。SOL的表達能力較先前使用常規表示式的語言來的強，因此，藉由SOL便可在介面協定的規格有限狀態機模型上，更容易且不失嚴謹的詳細描述處理程序。經由實驗證明，我們所提議的方法的確可以有效的提高驗證的品質，並且加快驗證的效率。

Interface compliance verification plays a very important role in modern SoC designs. In order to perform a quantitative analysis of simulation completeness, some coverage metrics are required. In this thesis, we propose a transaction-level functional coverage methodology for interface compliance verification. We also develop a new language, State-Oriented Language (SOL), to specify functional transactions at a higher level of abstraction. Moreover, SOL owns a stronger expressive power than previous regular-expression-based languages do. Therefore, by utilizing SOL, it is simple and rigorous to specify transactions from the specification FSM of the interface protocol. Experimental results show that the proposed methodology can effectively improve the verification quality and increase the verification efficiency.