2021-09-06 周会小结

• DC检查比Verdi更为全面，因为DC有是否可综合的检查

• SpyGlass的检查又称为静态检查，所需时间长，报出的信息多，需要一条条过滤或者waive（放弃）

  • Lint：类似于Coding style check
    • 输出无接口可以，但是输入无驱动不行！
    • 宽度不匹配，用 ” ‘0 “解决，意思就是我的这个数据宽度始终和你的要求保持一致，0的个数随宽度调整。
  • CDC check 跨时钟域检查
    • CDC(clock domain crossing)定义：The process of passing a signal or vector(multi bit signal) from one clock domain to another clock domain.
    • 分类：单比特；数据流
      • 单比特
        • 单比特慢时钟域到快时钟域
          • 取反法
          • 打拍法
        • 单比特快时钟域到慢时钟域
          • 取反法
          • 反馈法

• formality 形式验证

  • 定义：An equivalence-checking(EC) solution