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