知识储备-后仿

仿真环境设定

• 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分对照定位])