,®重置检查

,重置检查图标

重置域交叉问题的详尽的验证

复位信号分布比以往任何时候都变得更加复杂,创建二阶,”重置领域跨越”影响不是由RTL仿真建模。共享一个共同的语言,模拟前端,并利用formal-based,高性能,CDC算法底层的,,重置检查是完美的工具来识别和修复意想不到的,芯片杀死重置域交叉问题。

新的芯片杀手:重置域交叉

复位信号复杂性的增加与多个重置域出现的设备创建新的验证RTL模拟没有可寻址的挑战。具体地说,独立”重启域”可以创建复杂的重置或重置序列结构,或IPs的混合不同复位模式,所有这些会产生亚稳度和信号reconvergence问题类似于失败中看到异步时钟域口岸(CDC)。因此,与疾控中心,这些异步复位域交叉引起的亚稳定性不能建模仿真,让设计师开放相当大的风险不可预知的芯片的行为当样品从工厂回来。

,重新检查
只使用你的RTL作为输入,断言,重置检查应用程序自动生成和分析快速和详尽的识别chip-killing重置域交叉问题。

解决方案:,重置检查

,重置检查应用程序设计自动使用正式的分析,详尽设计中确定重置域交叉问题。具体地说,把你的RTL作为输入,,重置自动执行一个详尽的检查,自底向上复位树分析,然后自动生成和断言证明,涵盖众多reset-domain特定结构检查。

特性

  • 确定重置域交叉(RDC)信号的依赖注册在同一个时钟域
  • 重置结构和域的整体设计,包括控制和控制逻辑
  • 报告同步性,极性和设置/重置功能重置注册节点树
  • 报告时钟和复位信号的关系矩阵

好处

  • 详尽的识别所有重置域交叉问题
  • 完全自动化的分析流——没有知识产权规范的语言,正式的,或assertion-based验证技术是必需的
聊天| 联系