HDL编码标准

HDL编码Standrards,FPGA编码,什么是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路径上的组合逻辑和检测过程中检测到的不正确的同步器结构。

使用&好处:

  • 相对于手工劳动,降低了审查成本
  • 基于行业最佳实践和设计专业知识的全面知识库
  • 与手工评审方法相比,代码更加一致和高效
  • 评审可以更频繁地执行,这与DO-254的理念非常匹配
  • 集成的调试环境,用于高效的设计分析和文档编制
问我们一个问题
x
问我们一个问题
x
验证码图片 刷新验证码
输入错误的数据。
谢谢你!你的问题已经提交。请允许1-3个工作日的人回答你的问题。
发生内部错误。你的问题没有提交。请使用反馈形式
我们使用cookie确保我们为您提供最佳的用户体验,并为您提供我们认为与您有关的内容。如果您继续使用我们的网站,您同意我们使用cookie。关于使用cookie和其他网站信息的详细概述位于我们的隐私政策
Baidu