IP 驗證包括了協(xié)議類IP（QSPI）的驗證環(huán)境和算法類IP（ISP）的驗證環(huán)境。

QSPI 驗證環(huán)境添加了register model。補充了testplan，產(chǎn)生了coverage report。

增加了Formal驗證環(huán)境，向大家展示了簡單的formal的環(huán)境是什么樣子的。

增加了10個視頻資料，內(nèi)容涉及協(xié)議介紹，testplan制定，環(huán)境介紹，CPU 介紹等等相關(guān)內(nèi)容，幫助大家從各個角度，各個方面了解該項目。

5. SOC環(huán)境更加簡單，添加test更加方便，comp 和simulation 分離。

執(zhí)行的路徑簡潔干凈，comp中放comp的log ，每個test執(zhí)行simulation完都會產(chǎn)生對應(yīng)的test的simulation 路徑，如isp_test 。解決了原先comp和simulation log及相關(guān)文件堆放在執(zhí)行目錄下雜亂無章的問題。

同時執(zhí)行comp 和 simulation的指令更加的簡單。

6. 改進了一些register 復(fù)雜的定義，讓每個register的定義更加明確，解決了一些regsiter 多重定義的問題。

7. 增加了 PINMUX，DMA，ISP 三個新的模塊。讓大家認(rèn)識這些模塊是怎么工作的。

8. 和云EDA服務(wù)商合作，提供了可選擇的正版的EDA云環(huán)境，并且以一個十分優(yōu)惠的價格提供給大家使用。






審核編輯：劉清