杰克·埃里克森,Mathworks公司
获取HDL代码生成和验证支持,在IEC认证工具包的概述ISO 26262和IEC 61508。万博1manbetx
ISO 26262和iec61508的IEC认证工具包增加了工作流和工件文档,用于将基于模型的设计功能安全连接到ASIC和FPGA实现。这包括从TUV SUD证明HDL编码器是合格的根据ISO 26262为任何ASIL,也已测试的适用性,根据IEC 61508, IEC 62304, EN 50128,和ISO 25119。
这个工作流程包括:
该套件还提供了用于管理和记录您的工作流程步骤和文物的模板。如果你需要在部署这一进程更广泛的支持,MathWorks公司提供万博1manbetxISO 26262流程部署咨询服务。
要了解更多有关MathWorks的ISO 26262的工作流程,请访问:ISO 26262支万博1manbetx持MATLAB和Simulink万博1manbetx。
与发行2020A开始,HDL编码器已经合格ISO 26262,其中包括来自MathWorks公司已经更新了一个完整的工作流程,基于模型的设计连接到FPGA和ASIC实现ASIL D. IEC认证工具包ISO 26262和IEC 61508。
该工具包提供了工作流和工件,以帮助您遵守——并证明您遵守——这些功能安全标准。在高密度脂蛋白部分,有一个证书从TUV SUD为高密度脂蛋白编码器,连同他们的报告解释的过程使用了资格它。
而这不仅仅是HDL编码器。在试剂盒中的工作流程文档涵盖从需求创作,以架构建模,建模执行,然后到HDL代码生成,以验证和确认在每一步的处理。
正如你所看到的,这个工作流程的一个重要组成部分,首先验证根据需求模型的行为,其中包括连接要求,模型和测试,并确保这些要求在测试中完全覆盖。然后,当你进入实施,验证每个实施阶段产生的设计,其功能相匹配的前一阶段。
该工作流还提供了一些技术,以帮助确保通过下游FPGA或ASIC实现的完整性。HDL代码生成之前,使用型号顾问来运行特定任务的检查。在这里,我将只运行在我们的HDL教程的设计,这是不是在考虑认证创造了信号处理设计的ISO检查,所以应该找出很多的问题。
没有错误,这很好,并且警告可以让您了解良好的实践,以防止在此级别上的假设导致后续问题。有些问题应该在设计中解决,有些涉及到工具设置,比如增加对溢出等问题的检查的严重性。
而在验证下游实施方面,HDL验证提供了许多方法来重新使用基于模型的设计工作。什么是显示在该流程图运行您在上半实物与Simulink的测试运行的FPGA设计,并检查结果反馈到后端对您的模型。万博1manbetx您还可以使用HDL验证生成下游仿真,包括UVM SystemVerilog验证组件。见HDL验证产品页面了解更多信息。
该套件还展示了如何手写代码集成到流程,以及如何使用HDL验证模型一起验证。
最后,该工具包提供了一个模板,您可以将其用于您的项目来演示一致性。它列出了使用的标准,并提示您输入流程中使用的相关信息。
MathWorks公司提供的援助和咨询这些功能安全工作流程,以建立自己的组织能力。而该套件本身提供了让你开始一些重要的资源。
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。
本网站使用cookies改善您的用户体验,个性化内容和广告,并分析网站流量。如您继续使用本网站,即表示您同意我们使用cookies。请参阅我们的隐私政策以了解更多有关cookies及如何更改您的设置。