AMBA总线协议在系统级芯片设计中的关键模块验证研究

"这篇硕士学位论文主要探讨了AMBA总线协议在系统级芯片（SoC）设计中的关键模块设计与验证方法。随着集成电路技术的快速发展，SoC成为了现代电子设计的主流，其中IP核的复用和高效互联至关重要。AMBA（Advanced Microcontroller Bus Architecture）总线协议作为常用的片上总线标准，被广泛应用于IP核的互联，以提高设计效率和缩短产品上市时间。论文作者劳丰在郭立教授指导下，通过SystemVerilog Assertion进行断言验证，优化了仲裁模块的设计，并构建了一个完整的验证平台，包括主设备和从设备的总线功能模型（BFM）。" AMBA总线协议是ARM公司推出的一种开放标准的片上系统互连协议，旨在解决不同IP核在SoC中的高效通信问题。该协议包括多种总线规范，如AHB（Advanced High-performance Bus）和APB（Advanced Peripheral Bus），分别用于高性能主设备和低功耗外围设备的连接。 论文中提到的关键模块设计主要集中在仲裁模块，这是AMBA总线协议中的核心部分，负责决定哪个设备有权访问总线。作者提出了一种基于断言验证的属性设计方案，利用SystemVerilog Assertion语言，对仲裁器模块的功能进行建模和验证，确保其正确性和可靠性。这种方法可以更精确地检测时序功能，从而降低设计错误的可能性。 此外，论文还关注了基于平台的设计和验证。作者设计并实现了AHB总线的主设备和从设备的BFM，这些模型通常基于状态机实现，能够更好地支持系统级别的验证测试。BFM的建立有助于模拟真实环境中的设备行为，提供了一个全面的验证环境，可以有效验证兼容AHB总线接口的IP核功能。 整体而言，这篇论文深入研究了AMBA总线协议在SoC设计中的应用，特别是在仲裁模块设计和验证方面的创新方法，为SoC设计者提供了有价值的参考，有助于提升IP核集成的效率和质量，缩短产品开发周期，适应集成电路技术快速发展的需求。