动态CDC验证方法技术

本发明专利技术公开了一种在寄存器传输级(RTL)设计中动态地验证跨时钟域(CDC)路径的计算机实现的方法。除了静态分析、形式分析和仿真步骤之外，每个CDC路径还分配了永久唯一标识符。这使得能够使用该永久唯一标识符来更新集中式的结果数据库，以便标记相关联的CDC协议断言、功能覆盖率和形式分析结果和仿真结果。此外，在仿真分析之前，关闭在形式分析期间已经证实的CDC协议断言，使得仅对未证实的CDC协议断言执行仿真运行。执行仿真运行。执行仿真运行。

【技术实现步骤摘要】
【国外来华专利技术】动态CDC验证方法


[0001]本专利技术涉及一种动态跨时钟域(CDC)验证的方法，特别是涉及一种基于静态跨时钟域分析并采用形式分析(formal analysis)和仿真的动态跨时钟域验证方法。

技术介绍

[0002]数字电路设计通常采用硬件描述语言来创建电路的高级表示。同步数字电路可以使用称为寄存器传输级(RTL)的设计抽象(design abstraction)来模拟硬件寄存器之间的数字信号流。每个硬件寄存器由时钟信号边沿触发，使每个寄存器的输出与其时钟信号同步。跨时钟域(CDC)路径是RTL设计中源寄存器与目标寄存器之间的能够实现CDC信号传输的路径，其中，源寄存器的时钟与目标寄存器的时钟异步。当两个时钟异步时，时钟之间没有确定性的相位关系。由于存在这种异步性，源寄存器可能产生违反目标寄存器的设置和保持要求的异步信号，致使目标寄存器进入亚稳定状态。传统上，使用同步逻辑结构(同步器)来应对这个问题，同步逻辑结构是添加至CDC路径以防止亚稳定事件传播到下游逻辑的RTL结构。虽然将同步器添加至CDC路径将消除一些结构中的亚稳定性，但其本身不足本文档来自技高网...

【技术保护点】

【技术特征摘要】
【国外来华专利技术】1.一种在寄存器传输级(RTL)设计中动态地验证跨时钟域(CDC)路径的计算机实现的方法，所述方法包括：从CDC静态分析数据库中提取关于CDC路径中结构的存在以及任何相关联的CDC协议断言和功能覆盖率的信息；将所述CDC协议断言和所述功能覆盖率捆绑至捆绑文件中的所述RTL设计；从所述RTL设计生成形式分析文件和仿真设置文件，生成从所述静态CDC分析数据库提取的用于CDC路径的设置和约束数据，并使用所生成的所述形式分析和仿真设置文件来编译所述捆绑文件；运行所述RTL设计的形式分析，以便确定经证实的和未证实的CDC协议断言；更新所述仿真设置文件，以便关闭经证实的CDC协议断言；使用所述未证实的协议断言和功能覆盖率来运行所述RTL设计的仿真；使用所述RTL设计的形式分析结果和仿真结果来更新集中式结果数据库；以及生成所述形式分析结果和仿真结果的可视化，以用于审阅和调试中的至少一项；其中，为每个CDC路径分配永久唯一标识符，并且其中，使用所述永久唯一标识符来更新所述集中式结果数据库，以便标记相关联的CDC协议断言、功能覆盖率以及形式分析结果和仿真结果。2.根据权利要求1所述的方法，其中，所述CDC路径信息包括至少一个文本串，并且其中，所述永久唯一标识符是从所述文本串生成的数字串。3.根据权利要求2所述的方法，其中，所述数字串是通过使用数学运算来减少所述文本串中的字符数而生成的。4.根据权利要求3所述的方法，其中，所述永久唯一标识符被添加至所述CDC路径的断言和功能覆盖率的实例名称。5.根据权利要求3所述的方法，其中，所述永久唯一标识符被添加至与所述CDC路径中的结构相关联的CDC协议断言。6.根据权利要求1所述的方法，其中，所述CDC路径中的结构是CDC同步器，并且其中，基于所述CDC同步器的类型来生成所述相关联的CDC协议断言。7.根据权利要求1所述的方法，其中，在所述CDC路径...

【专利技术属性】
技术研发人员：S，
申请(专利权)人：西门子工业软件有限公司，
类型：发明
国别省市：