基于液晶顯示控制芯片的驗證方法的研究.pdf

1、近幾年來，移動電話、個人數字助理和數碼相機等消費類電子產品需求的不斷增長推動了液晶顯示器市場的發(fā)展，從而也為控制器帶來了廣闊的市場前景。由于功能的不斷增加，液晶顯示控制器正變得越來越復雜，對其驗證的難度也呈指數級增長。
　　 本文主要討論當前各種流行的驗證方法，并詳細敘述了如何對一個液晶顯示控制芯片進行盡可能完備的系統(tǒng)驗證。寄存器傳輸級代碼的驗證是保證芯片功能正確的最關鍵因素，為此，本文討論了邏輯功能仿真驗證和原型驗證這兩種方法

2、。在邏輯功能仿真驗證方法中，首先通過代碼靜態(tài)檢查保證代碼風格。在詳細研究設計規(guī)格說明書的基礎上，構建了一個可重用的驗證平臺，綜合運用了總線功能模型和可編程語言接口等方法。最后，對驗證平臺的覆蓋率進行了詳盡的分析以保證仿真的完備性。對于原型驗證，使用FPGA作為目標器件來構造原型，模擬可能的流片結果，在實際應用環(huán)境中進行測試。
　　 現(xiàn)代ASIC設計需要經歷眾多流程，每一道流程都必須保證設計的正確性和相關的性能指標。正是基于這一點

3、，本文還討論了如何在設計流程中對網表和版圖等設計形式進行驗證。針對門級網表，主要進行功能和時序的收斂性驗證，包括形式驗證、靜態(tài)時序分析和動態(tài)后仿真等。針對物理版圖，主要進行版圖的可靠性驗證，確保所實現(xiàn)出來的設計對象沒有物理違規(guī)，包括設計規(guī)則檢查和版圖原理圖一致性驗證等。此外，芯片制造工藝的不斷復雜化導致了成品率的降低，為了驗證制造過程的正確性，對流片回來的硅片進行驗證是必不可少的流程。本文針對液晶顯示控制芯片，介紹了兩種硅驗證手段：掃描