一些代码检查的方法

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

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

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

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

例子:

nlint

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

 

 

发布了19 篇原创文章 · 获赞 9 · 访问量 4万+
展开阅读全文

没有更多推荐了,返回首页

©️2019 CSDN 皮肤主题: 大白 设计师: CSDN官方博客

分享到微信朋友圈

×

扫一扫,手机浏览