杰克erickson,Mathworks
在IEC认证套件中概述ISO 26262和IEC 61508的IEC认证套件中的HDL代码生成和验证支持。金宝app
ISO 26262和IEC 61508的IEC认证套件已添加工作流程和工件文档,用于连接基于模型的设计,以实现功能安全到ASIC和FPGA实现。这包括来自TÜVSüd的证书,表明HDL编码器根据任何ASI的ISO 26262合格,并且还根据IEC 61508,IEC 62304,EN 50128和ISO 25119进行了适用性进行了测试。
此工作流程包括:
该套件还提供用于管理和记录工作流程步骤和工件的模板。如果您需要更广泛的支持部署此过程,MathWorks提供了一个金宝appISO 26262流程部署咨询服务。
要了解有关MathWorks ISO 26262工作流程的更多信息,请访问ISO 26262在金宝appMatlab和Simulink中支持金宝app。
从版本2020A开始,HDL编码器已获得ISO 26262,包括ASIL D. ISO 26262的IEC认证套件和MathWorks的IEC 61508已更新,以便将基于模型的设计连接到FPGA和ASIC实现的完整工作流程。
该套件提供了工作流程和工件,以帮助您遵守 - 并证明您遵守这些功能安全标准。在“HDL部分”部分下,有来自TÜVSüd的证书,用于HDL编码器,以及他们的报告解释了用于资格认证的过程。
这不仅仅是HDL编码器。套件中的工作流文档将来自要求创作的过程覆盖到架构建模,以建模实现实现,然后在每个步骤中验证和验证。
正如您所看到的,此工作流程的大部分是首先验证模型的行为,包括将要求与模型和测试链接,并确保这些要求完全在测试中完全涵盖。然后,在进行实现时,验证每个实现阶段产生的设计,其功能与前一级的设计。
此工作流还提供了帮助通过下游FPGA或ASIC实现确保完整性的技术。在HDL代码生成之前,使用模型顾问运行特定于任务的检查。在这里,我将在HDL教程设计上运行ISO检查,这是一种信号处理设计,该设计未在思想中未经认证创建,因此它应该识别很多问题。
没有错误,这很好,警告可以让您了解良好的做法,以防止在此级别的假设,导致下游问题。其中一些应该在设计中解决,其中一些涉及工具设置,例如增加检查诸如溢出等问题的严重程度。
在验证下游实现方面,HDL验证者提供了许多重复使用基于模型的设计工作的方法。该流程图中所示的内容在运行您的设计上运行您的设计,使用Simulink测试运行,并将结果返回到模型上。金宝app您还可以使用HDL验证程序为下游仿真生成SystemVerilog验证组件,包括UVM。请参阅HDL验证程序产品页面以了解更多信息。
此套件还显示了如何将手写代码集成到过程中,以及如何使用HDL验证程序与模型一起验证。
最后,套件提供了一个模板,您可以使用项目来证明一致性。它列出了使用的条件,并提示您输入您流程中使用的相关信息。
MathWorks提供帮助和咨询,以建立您的组织熟练程度与这些功能安全工作流程。套件本身提供了一些很好的资源来让您入门。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。
本网站使用cookie来改善您的用户体验,个性化内容和广告,并分析网站流量。通过继续使用本网站,您同意我们使用cookie。请看我们隐私政策要了解有关cookie的更多信息以及如何更改设置。