一些代码检查的方法

ncsim检查主要是一些编译检查，保证代码能够正确编译。

nlint检测会检查代码的语法语义错误，可实现对代码的时钟、命名规则的检查，确保了程序的健壮性。

cdc主要是做跨时钟域路路径的分析。

可以通过spyglass工具来实现这些检查，也可以通过专门的工具实现。

例子：

nlint

nLint  -f  filelist  -out filename.nlint  -verilog  -2001 -sort s -beauty
-f 命令用来添加文件列表
-out 用来指定输出文件是什么
-verilog verilog 语法
-2001 按照2001标准来检查，也就是上图中红色圈出的地方
-sort 排序
-beauty 让输出结果自动缩进