发现在高并发图形负载下，现有的基于固定优先级或简单轮询的仲裁算法，确实无法很好地保证gpu这种高带宽需求aster的服务质量（qos）。
“看来问题出在仲裁策略上！”老王眼中闪过一丝兴奋。
他立刻动手修改rtl代码，在axi总线仲裁器中实现了一种更先进的、基于服务等级（qos）和实时带宽需求的动态优先级调度算法。这种算法能够智能地识别出gpu的高优先级访存请求，并为其动态分配更高的总线带宽和更低的访问延迟。
修改完成后，他利用“盘古”的形式化验证（foral verification）工具，快速验证了新仲裁逻辑的功能正确性和无死锁性。然后，再次进行系统级性能仿真。
仿真结果显示，采用了新的动态仲裁算法后，在同样的高并发图形负载下，gpu的访存延迟显着降低，内存带宽瓶颈得到极大缓解！
整个分析、修改、验证的过程，只花了他不到两天的时间！
老王立刻将修改后的rtl代码和验证报告，通过协同平台反馈给了“北辰”os团队。
“蜂巢”基地内，小张和阿杰收到了更新通知，兴奋不已。他们立刻将新的硬件描述（可能是一个更新的fpga比特流文件，由eda工具自动生成）加载到原型验证平台上，再次运行之前的ui压力测试脚本。
奇迹发生了！
之前出现的掉帧和卡顿现象完全消失！即使进行最复杂的多层半透明窗口拖动和缩放，界面依然如丝般顺滑，响应速度快得惊人！ide性能剖析窗口中的内存带宽占用曲线也变得更加平缓，总线延迟大幅降低！
“解决了！彻底解决了！”阿杰激动地喊道，“硬件那边只用了不到两天时间，就帮我们解决了这个大瓶颈！这……这效率太恐怖了！”
小张也深有同感。他知道，如果没有这套强大的自研eda平台和紧密的软硬件协同流程，同样的问题，在其他公司可能需要数周甚至数月才能定位和解决（如果能解决的话）。而启明芯，将这个周期缩短到了天！
这种基于eda平台的、前所未有的协同效率，正是林轩敢于提出三年计划、敢于挑战操作系统的最大底气所在！它