商品簡介
相關商品
商品簡介
本書從芯片驗證的目的出發,完善了功能覆蓋率的定義,闡述了新的隨機測試方法,即“功能覆蓋率直接驅動的隨機測試方法”,以及一種新的驗證語言EagleLang,即Eagle語言。該編程語言具有類似腳本語言的簡潔語法,專用於芯片驗證,也可以用於文本處理、數學計算、多線程編程等應用領域。該語言的編譯執行具有接近C++語言的效率,eagle是該語言的編譯器工具。
芯片仿真驗證效率是影響芯片項目週期的主要因素,本書提出了新一代的驗證方法學PVM(Parallel Verification Methodology),採用多核並行技術搭建的PVM驗證平臺,具有執行效率高的特點,可以有效實現芯片仿真驗證加速。另外,在PVM驗證平臺中採用工廠模式和動態編程技術,可以實現驗證組件、測試用例的動態生成,減少驗證平臺、測試用例的編譯時間。
本書主要適合芯片驗證工程師、芯片驅動軟件開發工程師、芯片系統建模工程師、芯片設計工程師閱讀。本書也可以作為從事芯片EDA工具開發的軟件工程師、編譯器開發軟件工程師的參考書籍。本書還可以作為高校師生瞭解芯片設計與驗證技術的參考書籍。
芯片仿真驗證效率是影響芯片項目週期的主要因素,本書提出了新一代的驗證方法學PVM(Parallel Verification Methodology),採用多核並行技術搭建的PVM驗證平臺,具有執行效率高的特點,可以有效實現芯片仿真驗證加速。另外,在PVM驗證平臺中採用工廠模式和動態編程技術,可以實現驗證組件、測試用例的動態生成,減少驗證平臺、測試用例的編譯時間。
本書主要適合芯片驗證工程師、芯片驅動軟件開發工程師、芯片系統建模工程師、芯片設計工程師閱讀。本書也可以作為從事芯片EDA工具開發的軟件工程師、編譯器開發軟件工程師的參考書籍。本書還可以作為高校師生瞭解芯片設計與驗證技術的參考書籍。
主題書展
更多書展今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。