验证当今的复杂设计非常耗时,因为仿真需要长时间运行,并且会执行数百万个事务。传统的调试方法是将数百万个数据包的所有信息转储到日志文件中,但是从庞大的日志文件中过滤掉特定的事务总是具有挑战性的。例如,在AXI协议的情况下,在模拟期间允许固定数量的未完成事务,在单次模拟运行或交互式模拟期间的庞大日志文件中始终很难找到此类未完成事务。这是调试的最大痛点之一。
Synopsys Verdi 协议分析器支持独特的搜索/过滤功能,以克服此类调试痛点。让我们在下图的帮助下,阐明什么是未完成的交易。
AXI 未完成交易
AXI 主站可以发出多个地址(A1、A2、A3)进行读/写,而无需等待各自的完成。典型的调试要求是在模拟的特定时间窗口中计数和跟踪未完成的事务。通过信号转储或日志文件进行调试的传统方法非常繁琐且耗时。
Verdi 协议分析仪与 AXI VIP 原生集成,使调试变得简单快捷。协议分析器 GUI 的快照如下所示。主/从事务及其属性可以在 GUI 中突出显示。可以从工具栏中的菜单按钮调用搜索引擎。使用具有适当查询的搜索引擎将在不到 10 秒的时间内过滤此类事务,从而轻松快速地调试 AXI 未完成事务。
威尔第协议分析仪
完整的解决方案在白皮书 - 查找未完成交易中进行了描述。
审核编辑:郭婷
全部0条评论
快来发表一下你的评论吧 !