ncsim检查主要是一些编译检查，保证代码能够正确编译。
nlint检测会检查代码的语法语义错误，可实现对代码的时钟、命名规则的检查，确保了程序的健壮性。
cdc主要是做跨时钟域路路径的分析。
可以通过spyglass工具来实现这些检查，也可以通过专门的工具实现。
例子：
nlint
nLint -f filelist -out filename.nlint -verilog -2001 -sort s -beauty
-f 命令用来添加文件列表
-out 用来指定输出文件是什么
-verilog verilog 语法
-2001 按照2001标准来检查，也就是上图中红色圈出的地方
-sort 排序
-beauty 让输出结果自动缩进