仿真环境设定
- mem、constant input(scan/test)等设非x初值
- 无复位ff通过force-release处理
- vcs +timing_check、+optconfigfile+ (自定义配置,如指定模块timing check与否)
- 设置运行核数、仿真精度不要过小设置、根据测试目的选择性关闭、dump范围(时间/空间)、log打印、增量编译、force存储初值等加速后仿
- loop通过延时脚本多打印相关信息帮助定位问题原因
文件读入
- 读入库文件、sdf反标文件、网表等
debug技巧
- x态追踪直接借助verdi 工具trace追踪(文件太大慎用,容易长时间卡顿)
- 借助逻辑分析正确从接口层面对应x态传播,节省内部追踪开销
- 根据x态点进行初步分析(大片x优先坚持时钟复位大作用域信号确认,单点优先以来逻辑分析和对应前方结果参考[2分对照定位])