IP 驗證包括了協議類IP（QSPI）的驗證環境和算法類IP（ISP）的驗證環境。

QSPI 驗證環境添加了register model。補充了testplan，產生了coverage report。

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

增加了10個視頻資料，內容涉及協議介紹，testplan制定，環境介紹，CPU 介紹等等相關內容，幫助大家從各個角度，各個方面了解該項目。

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

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

同時執行comp 和 simulation的指令更加的簡單。

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

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

8. 和云EDA服務商合作，提供了可選擇的正版的EDA云環境，并且以一個十分優惠的價格提供給大家使用。






審核編輯：劉清