验证经验汇总

发表于 | 分类于 | 阅读次数：
本文字数： 156 | 阅读时长 ≈ 1 分钟

本文介绍了一些验证的经验

网表出现x态查找步骤：

  1. 确定复位，时钟正确
  2. 确定所有输入不能有x和z
  3. 查源头，谁最先为x
  4. 与RTL波形做比对，追溯源头

可输出某些平台信号，定义到顶层，用于调试，可查看波形。

在写激励时，避免使用wait(rd==1)，防止毛刺被识别到。

采样采到的都是前沿的值。

持续更新中…