基于斷言的PCI總線控制器核功能驗證研究.pdf

1、集成電路工藝飛速發(fā)展，芯片設(shè)計的規(guī)模和復雜度已經(jīng)不可同日而語，傳統(tǒng)的驗證方法對當前復雜度的設(shè)計不再適用，驗證已成為整個芯片開發(fā)過程的瓶頸。事務級驗證、帶約束隨機激勵生成、覆蓋率驅(qū)動的驗證、驗證IP、基于斷言的驗證以及高級驗證方法學等成為當前硬件驗證的主流技術(shù)，其中，基于斷言的功能驗證技術(shù)具有代碼簡潔、可以快速定位設(shè)計缺陷等優(yōu)點，成為一種重要的驗證技術(shù)。
　　 本文研究了基于斷言的PCI總線控制器核的功能驗證問題，引入配置圖描述P

2、CI總線控制器的配置過程，并提出基于配置圖的事務生成算法，并設(shè)計和實現(xiàn)了基于斷言的驗證IP。論文首先對當前驗證技術(shù)存在的問題、面臨的挑戰(zhàn)以及主流的高級驗證技術(shù)進行了分析，然后以PCI總線控制器核為待驗證對象，詳細描述了制定驗證計劃、進行測試需求分析、編制測試用例以及搭建驗證平臺的過程。為了提高驗證的完整程度和激勵生成效率，提出了基于配置圖的事務生成算法，實現(xiàn)PCI從設(shè)備接口事務的高效生成。最后，基于VMM架構(gòu)設(shè)計了基于斷言的驗證IP，實