论文摘要：通信导航接收机数字基带芯片验证技术研究

本文的主要工作是研究双频双模通信导航接收机基带芯片的验证技术。 GPS和BD双系统兼容接收机已成为当前中国通信导航系统的发展方向。一个高效且可重复使用的验证平台可以提高功能覆盖率，降低流片失败的可能性，从而降低项目开发成本，提高整个芯片和接收器系统的整体质量。集成电路规模的不断增大和集成工艺的不断进步，复杂度的不断提高，对集成电路的验证方法提出了更高的要求。目前的芯片验证方法有：动态功能验证、静态时序验证、形式验证，每一种都有其特殊的优势和片面性。只有将这三种方法结构合理，才能有效提高验证效率和可靠性。本文针对双频双模导航基带芯片的ASIC设计，制定了系统芯片的逻辑综合策略和设计约束，提出了一种多异步时钟域的时序约束设计方法。通过设置虚假路径、多周期路径，以及纠正建立和保持时间的违规，优化时序；针对双系统导航基带芯片的功能，提出了芯片验证平台的要求，采用业界最新流行的SystemVerilog设计验证语言搭建验证平台。 ;进行分层、可移植的验证平台设计，提高功能验证效率；对芯片进行形式化验证和比较，保证芯片软件和网表的功能对等。最后，通过三种方法对该芯片进行了验证。目前，该芯片已流片。三种验证方式的综合运用，为芯片的tap-out提供了可靠的保障。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/203922.html