会议论文《DMA控制器的一种硬件验证方法》发表于2009年全国高性能计算学术年会。该文提出了一种针对DMA控制器的硬件验证方法，旨在提高其设计可靠性和性能。通过构建验证平台和使用形式化验证技术，作者有效检测并解决了潜在的硬件缺陷，为高性能计算系统中的数据传输提供了保障。
文档为pdf格式，0.61MB，总共4页。
举报
