基于覆蓋率的集成電路驗證

羅登富　趙建明

摘要：隨著集成電路規模和復雜度的逐漸提高，百萬千萬門級以上的集成電路驗證消耗了整個芯片開發過程大約70％的時問，不僅需要專職的團隊，而且人數通常是設計團隊的1.5～2倍。針對當前超大規模集成電路驗證的這個瓶頸，在傳統驗證平臺的基礎上提出了代碼覆蓋率和功能覆蓋率、隨機激勵與定向激勵結合的驗證方法。代碼覆蓋率確保代碼的執行，功能覆蓋率確保功能點的覆蓋，隨機與定向激勵結合在驗證的各個階段有針對性地編寫測試用倒，三者相互結合實現高效率驗證。此方法在多協議標簽交換轉發芯片項目中將驗證時間縮短了三個月，而且問題的收斂速度加快，驗證的規格更可靠。與傳統的驗證方法相比，此方法提高了驗證效率，縮短了驗證周期，增強了可靠性，對今后的項目開發有重要借鑒意義和指導意義。