验证的方法

主要验证方法：

详细说明：
动态仿真：生成测试序列，和激励，给到待测试模块，伴随着仿真时间，判断输出是否符合预期。
使用工具：eda仿真器
结果判断：线上波形，输出结果比对，线下采集输出到文本来比对。
按照激励生成和检查方式，可以将动态仿真分为：

1. 定向测试 directed test
2. 随机测试 random test
3. 参考模型检查 reference model check
4. 断言检查 assertion check

静态检查： 通过辅助工具来检查代码。
可概括为：

1. 语法检查 syntax check
2. 语义检查 linting check
3. 跨时钟域检查 CDC cross-clock domain check
4. 形式化验证 formal verification

语法检查： 在编译时，eda工具可对代码的语法进行检查，包括拼写，申明，引用，例化，连接，信号定义ÿ