驗證當今的復雜設(shè)計非常耗時，因為仿真需要長時間運行，并且會執(zhí)行數(shù)百萬個事務。傳統(tǒng)的調(diào)試方法是將數(shù)百萬個數(shù)據(jù)包的所有信息轉(zhuǎn)儲到日志文件中，但是從龐大的日志文件中過濾掉特定的事務總是具有挑戰(zhàn)性的。例如，在AXI協(xié)議的情況下，在模擬期間允許固定數(shù)量的未完成事務，在單次模擬運行或交互式模擬期間的龐大日志文件中始終很難找到此類未完成事務。這是調(diào)試的最大痛點之一。

Synopsys Verdi 協(xié)議分析器支持獨特的搜索/過濾功能，以克服此類調(diào)試痛點。讓我們在下圖的幫助下，闡明什么是未完成的交易。

AXI 未完成交易

AXI 主站可以發(fā)出多個地址（A1、A2、A3）進行讀/寫，而無需等待各自的完成。典型的調(diào)試要求是在模擬的特定時間窗口中計數(shù)和跟蹤未完成的事務。通過信號轉(zhuǎn)儲或日志文件進行調(diào)試的傳統(tǒng)方法非常繁瑣且耗時。

Verdi 協(xié)議分析儀與 AXI VIP 原生集成，使調(diào)試變得簡單快捷。協(xié)議分析器 GUI 的快照如下所示。主/從事務及其屬性可以在 GUI 中突出顯示?？梢詮墓ぞ邫谥械牟藛伟粹o調(diào)用搜索引擎。使用具有適當查詢的搜索引擎將在不到 10 秒的時間內(nèi)過濾此類事務，從而輕松快速地調(diào)試 AXI 未完成事務。

威爾第協(xié)議分析儀

完整的解決方案在白皮書 - 查找未完成交易中進行了描述。

審核編輯：郭婷