通信芯片驗證方法的研究.pdf

1、芯片的驗證工作，對提高投片成功率起到關(guān)鍵性作用。有資料顯示，造成芯片一次投片成功率低于50%的主要原因就是功能驗證還不夠完善。根據(jù)不同領(lǐng)域的驗證對象和不同層次的驗證模塊，功能驗證有很多研究方向，如針對CPU、片上總線、存儲器等的驗證。由此可見根據(jù)研究對象制定驗證策略和驗證方法對于提高投片成功率具有很大指導(dǎo)意義。 通信芯片一般具有實現(xiàn)收發(fā)幀、重傳、競爭信道、退避等功能。根據(jù)這些特點，它的功能驗證需要模擬網(wǎng)絡(luò)環(huán)境中的情況來設(shè)計測試用

2、例，驗證范圍不僅包括芯片自身在競爭到信道后的模塊處理情況，還包括在網(wǎng)絡(luò)中的多站點競爭的情況。針對這些要求論文提出了分階段的驗證策略，第一階段采用單向施加激勵觸發(fā)的白盒驗證方法，第二階段模擬多站點的網(wǎng)絡(luò)環(huán)境，施加多站點競爭發(fā)送數(shù)據(jù)等測試用例，并應(yīng)用站點的處理結(jié)果觸發(fā)下一事務(wù)的發(fā)生，達到循環(huán)自觸發(fā)的半自動化測試。 目前驗證技術(shù)的發(fā)展都是要達到抽象化、自動化、可重用性和可形式化驗證等目標。論文研究通信芯片的驗證方法也是從上述幾方面出發(fā)