中文 英语
知识中心
导航
知识中心

线头

移除不可移植或可疑的代码
受欢迎程度

描述

最初,Lint是附加在一个Unix实用程序上的名称,该实用程序可以标记不可移植或可疑的C代码。这个名字来源于材料中多余的绒毛。Lint被归类为静态分析工具,因为它不执行代码,而是根据一组规则检查代码。今天,Lint应用于许多不同的语言,包括电子系统设计中使用的语言。

一旦RTL设计人员开始编写代码,他们就会开始引入意想不到的错误。为了消除这些错误,设计人员将使用各种工具来确保代码在交付之前是正确的。功能性错误通常由静态工具(自动形式化和基于断言)和动态工具(如模拟)的混合捕获。

Linting的优点在于,它可以提供关于麻烦甚至危险的编码风格的反馈,这些代码风格需要花费更长的时间来使用模拟来发现。使用正确的lint工具,您可以在处理功能错误之前捕获“低挂的果实”。

Lint工具通常使用策略文件。每个策略文件都旨在通过使用一组Lint规则实现高质量的RTL,从而达到更高的成熟度。可以对策略进行调整以适用于广泛的设计类型,但也可以根据需要进行调整。设计团队在仔细考虑之后,可能会根据他们的优先级跳过流程中的个别步骤。此外,策略序列经过优化,可用于早期检测、更快的调试和低噪声。在这里,设计团队可以根据他们的最佳实践选择重新排序建议。

一个特定的流程将HDL成熟度分为初始、成熟和移交三个阶段。三个阶段的定义如下:
最初的RTL-初始RTL表示需求可能仍在发展的早期阶段。它可以确保尽早发现回归和构建失败。
成熟的RTL-建模成本,仿真-合成不匹配,FSM复杂性等是冻结就绪RTL的高阶方面,可以显著影响设计质量。成熟RTL检查确保了下游互操作性的必要条件。
切换RTL-在移交阶段,检查要符合行业标准或内部惯例,以便易于集成和重用。

本页的部分初始内容由真正的意图


多媒体

UPF-Aware时钟域交叉


相关的实体

Baidu