芯片EDA實戰：新一代芯片驗證語言Eagle和PVM驗證平臺

內容簡介

本書從芯片驗證的目的出發，完善了功能覆蓋率的定義，闡述了新的隨機測試方法，即“功能覆蓋率直接驅動的隨機測試方法”，以及一種新的驗證語言EagleLang，即Eagle語言。該編程語言具有類似腳本語言的簡潔語法，專用於芯片驗證，也可以用於文本處理、數學計算、多線程編程等應用領域。該語言的編譯執行具有接近C++語言的效率，eagle是該語言的編譯器工具。 芯片仿真驗證效率是影響芯片項目週期的主要因素，本書提出了新一代的驗證方法學PVM（Parallel Verification Methodology），採用多核並行技術搭建的PVM驗證平臺，具有執行效率高的特點，可以有效實現芯片仿真驗證加速。另外，在PVM驗證平臺中採用工廠模式和動態編程技術，可以實現驗證組件、測試用例的動態生成，減少驗證平臺、測試用例的編譯時間。 本書主要適合芯片驗證工程師、芯片驅動軟件開發工程師、芯片系統建模工程師、芯片設計工程師閱讀。本書也可以作爲從事芯片EDA工具開發的軟件工程師、編譯器開發軟件工程師的參考書籍。本書還可以作爲高校師生了解芯片設計與驗證技術的參考書籍。

書籍信息