HDL编码标准

HDL编码标准(安全关键设计)

为了防止HDL代码潜在的不安全属性导致不安全的设计问题，使用HDL编码标准是各种安全关键行业所需要的，例如DO-254。高密度脂蛋白编码标准必须被定义，审查和记录。ALINT-PRO™是一个完全自动化的设计规则检查器，配备工业验证的VHDL/Verilog标准，并提供自动化的代码审查。VHDL/Verilog标准涵盖了HDL编码的基本领域，如编码风格、可读性、模拟、时钟/复位管理、设计重用、安全合成和实现的编码、时钟域跨越(CDC)和测试设计(DFT)。

不可能通过使用HDL代码来指定所有设计要求。SDC格式用于描述各种要求，Alint-Pro支持更准确的Linting结果的SDC命令的基本子集。此外，块级约束机制和受限内置供应商库可确保使用黑盒设计甚至是完全限制的完整分析。

ALINT-PRO™还提供了强大的文档功能，有利于报告、审计和审查。ALINT-PRO™具有一个违例查看器，用于检测违例和豁免机制，允许将“不相关的”违例与适当的辩护评论关联起来。这些特性与违反编码标准的分析和报告接口紧密集成，使按钮式报告成为可能，并促进了创建高质量设计构件的理想实践，这些设计构件对于满足各种安全关键设计保证标准中概述的需求至关重要。

此外，通过使用CDC Viewer、CDC Schematic和RTL Schematic等专用窗口，可以很容易地研究时钟域交叉问题，如不同步CDC传输、收敛/发散、CDC路径上的组合逻辑和检测过程中检测到的不正确的同步器结构。