了解ISO 26262和IEC 61508的IEC认证套件中HDL代码生成和验证支持的概述。万博1manbetx
ISO 26262和IEC 61508的IEC认证套件已添加用于连接基于模型的设计的工作流程和工件文档,以实现功能安全到ASIC和FPGA实现。这包括TÜVSüd的证书,表明HDL编码器根据ASO 26262根据任何ASI,并且还根据IEC 61508,IEC 62304,EN 50128和ISO 25119进行了适用性进行了测试。
这个工作流程包括:
该工具包还提供了用于管理和记录工作流步骤和工件的模板。如果在部署此流程时需要更广泛的支持,则MathWorks提供了万博1manbetxISO 26262流程部署咨询服务.
要了解有关MathWorks ISO 26262工作流的更多信息,请访问ISO 26262支万博1manbetx持MATLAB和Simulink万博1manbetx.
从Release 2020a开始,HDL编码器已经获得ISO 26262的资格,包括ASIL D. IEC认证套件ISO 26262和IEC 61508的MathWorks已经更新了一个完整的工作流,用于将基于模型的设计连接到FPGA和ASIC实现。
该套件提供了工作流程和工件,以帮助您遵守 - 并证明您遵守这些功能安全标准。在“HDL部分”下,有一个来自TÜVSüd的证书,用于HDL编码器,以及他们的报告解释了符合条件的过程。
这不仅仅是HDL编码器。工具包中的工作流文档涵盖了从需求编写到体系结构建模,再到为实现建模,然后再到HDL代码生成,每一步都进行验证和验证的过程。
如您所见,这个工作流的很大一部分首先是验证模型的行为是否符合需求,这包括将需求链接到模型和测试,并确保这些需求在测试中完全覆盖。然后进入实现阶段,验证每个实现阶段产生的设计的功能与前一阶段相匹配。
此工作流还提供了一些技术,以帮助确保下游FPGA或ASIC实现的完整性。在生成HDL代码之前,使用Model Advisor运行特定于任务的检查。在这里,我将对我们的HDL教程设计运行ISO检查,这是一个信号处理设计,在创建时没有考虑到认证,所以它应该识别很多问题。
没有错误,这是好的,警告可以让您了解良好做法,以防止在此级别的假设,导致下游问题。其中一些应该在设计中解决,其中一些涉及工具设置,例如增加检查诸如溢出等问题的严重性。
在验证下游实现方面,HDL验证器提供了许多方法来重用基于模型的设计工作。此流程图显示的是在FPGA上使用Simulink测试在循环中运行设计,并根据模型背靠背地检查结果。万博1manbetx您还可以使用HDL Verifier为下游仿真生成SystemVerilog验证组件,包括UVM。请参阅HDL验证器产品页面了解更多信息。
这个工具包还展示了如何将手写代码集成到流程中,以及如何使用HDL验证器与您的模型一起验证它。
最后,该套件提供了一个模板,您可以使用您的项目来证明一致性。它列出了使用的条件,并提示您输入您流程中使用的相关信息。
MathWorks提供帮助和咨询,帮助您熟练掌握这些功能性安全工作流程。工具包本身提供了一些很好的资源,让你开始。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。