摘要: 敏捷硬件设计是一种灵活、快速适应变化的硬件开发方式，它受敏捷软件开发理念的启发，并在开源硬件社区中同样受到了欢迎。敏捷硬件设计的重点是在更短的开发周期内交付功能完善的硬件系统，同时保持高质量和客户满意度。敏捷硬件设计在开源硬件社区中备受关注。开源硬件开发，比如RISC-V，正处于推动硬件民主化和推动芯片设计创新的最前沿。敏捷设计对RISC-V社区至关重要，因为它支持快速迭代，适应不断发展的RISC-V 标准和自定义扩展的添加，助力解决与复杂架构特性相关的设计挑战。“香山”开源高性能RISC-V处理器核是基于敏捷硬件设计的重大创新之一，已成为目前性能最高的开源RISC-V乱序处理器核。“香山”处理器核开发团队在计算机体系结构旗舰会议MICRO上发表论文，介绍他们的敏捷设计方法论，这篇论文通过同行评审的方式，后续被评选为体系结构领域2023年度最佳12篇论文之一，并发表在IEEE Micro Top Picks专刊。“香山”团队的关键贡献之一是将硬件验证整合到敏捷开发方法中。通过检测和纠正设计错误、验证系统级功能、优化性能和功耗，硬件验证确保芯片按照RISC-V指令集架构规范正确、可靠地运行，这对芯片设计至关重要。近年来，芯片设计行业的发展趋势进一步强调了强大的验证对硬件设计的重要性，如摩尔定律放缓使硬件设计走向异构和多样、数字平台的安全性和完整性要求提高、开源硬件和开放硬件社区的出现等。因此，将验证整合到敏捷设计不仅对 RISC-V 社区很重要，对更广泛的硬件设计行业也极具吸引力。这篇题为“敏捷开发背景下的处理器功能验证：一个流程整合案例”的论文指出，现有敏捷硬件设计方法和传统功能验证之间存在效率差异，流程协作和信息交换的脱节阻碍了验证工作流程和工具链与敏捷开发实践的无缝集成。论文提出通过流程整合来解决这一问题，并将协作任务委派和动态信息交换作为实现敏捷处理器芯片设计与验证的两大基础原则。这篇论文进一步证明这种整合方法的有效性，以“果壳”和“香山”处理器核为例子，展示了如何使用论文所提出的工具提升处理器设计与验证效率。值得一提的是，论文不仅仅提出了概念性的新想法或原型，更展示了在“香山”这样的实际项目中得到落地应用的创新工具链和开发流程，凸显了这一工作在学术界和工业界的实用价值。