ASIC为ISO 26262和IEC 61508和FPGA工作流
得到的概述在IEC HDL代码生成和验证支持认证ISO 26262和IEC 61508的装备。万博1manbetx
IEC认证工具包ISO 26262和IEC 61508增加了工作流和基于模型构件连接的文档设计功能安全ASIC和FPGA实现。这包括证书从德国莱茵SUD显示HDL编码器有资格根据ISO 26262对任何ASIL,也一直在进行适用性检测根据IEC 61508、IEC 62304,在50128年,ISO 25119。
这个工作流程包括:
- 要求编写
- 体系结构建模
- 实现建模
- 静态模型分析模型的顾问
- HDL代码生成
- 在每一步的确认和验证,包括代下游RTL模型验证
工具箱还提供了模板管理和记录您的工作流步骤和工件。如果你需要更广泛的支持在部署这个过程,MathWorks提供了一个万博1manbetxISO 26262流程部署咨询服务。
了解更多关于MathWorks ISO 26262的工作流,访问在MATLAB和Si万博1manbetxmulink ISO 26262支持万博1manbetx。
开始发布2020年,ISO 26262的HDL编码器已经合格,包括ASIL d IEC认证工具包MathWorks ISO 26262和IEC 61508的已经更新为一个完整的工作流连接基于模型设计FPGA和ASIC实现。
工具包提供了工作流和工件来帮助你符合,证明你符合这些功能安全标准。高密度脂蛋白部分,下有一个证书从德国莱茵SUD HDL编码器,连同他们的报告解释过程的资格。
这不仅仅是高密度脂蛋白编码器。工具包的文档工作流过程涵盖了从需求创作、建筑建模,为实现建模,然后HDL代码生成,每一步的验证和确认。
如您所见,此工作流的很大一部分是根据需求首先验证模型的行为,包括连接模型和测试需求,并确保这些需求完全覆盖测试。当你进入实现,验证每个实施阶段产生的设计功能前一个阶段的比赛。
这个工作流还提供了技术帮助确保完整性通过下游FPGA和ASIC实现。HDL代码生成之前,使用模型顾问运行特定于任务的检查。这里我只会运行ISO检查在我们的HDL设计教程,这是一个信号处理设计不是创建认证,所以它应该确定大量的问题。
没有错误,这很好,好的实践的警告可以给你一个想法,以防止假设在这个级别,导致下游的问题。这些应该在设计中解决,和一些涉及工具设置比如增加检查溢出等问题的严重程度。
和下游的验证实现,高密度脂蛋白校验提供了大量的方法来重用你的基于模型的设计工作。这个流程图所示的是运行在一个FPGA设计与仿真软件运行循环中的测试,并检查结果背靠背反对您的模型。万博1manbetx您还可以使用HDL校验为下游模拟生成SystemVerilog验证组件,包括UVM。看到HDL校验产品页面来了解更多信息。
这个工具还显示了如何将手写的代码集成到过程,以及如何验证模型一起使用HDL校验。
最后,工具包提供了一个模板可以使用为您的项目表现出一致性。它列出了所使用的标准和提示输入相关信息用于您的流程。
MathWorks提供援助和咨询来构建组织能力与这些功能安全工作流。和工具本身提供了一些伟大的资源来帮助您开始。
你也可以从下面的列表中选择一个网站:
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。