主要验证方法:
详细说明:
动态仿真:生成测试序列,和激励,给到待测试模块,伴随着仿真时间,判断输出是否符合预期。
使用工具:eda
仿真器
结果判断:线上波形,输出结果比对,线下采集输出到文本来比对。
按照激励生成和检查方式,可以将动态仿真分为:
- 定向测试
directed test
- 随机测试
random test
- 参考模型检查
reference model check
- 断言检查
assertion check
静态检查: 通过辅助工具来检查代码。
可概括为:
- 语法检查
syntax check
- 语义检查
linting check
- 跨时钟域检查
CDC cross-clock domain check
- 形式化验证
formal verification
语法检查: 在编译时,eda工具
可对代码的语法进行检查,包括拼写,申明,引用,例化,连接,信号定义ÿ