安全关键设计

Mentor图形工具和服务为航空航天和国防组织提供方法和流程,确保全球竞争力和盈利能力,以及对产品安全的信心。

我们严格的开发流程和先进的ASIC和FPGA设计工具可以帮助您在不影响性能的情况下实现目标,安全性,和安全性。导师可以帮助您开发设备以满足DO-254质量目标和政府可靠性标准;耐久性,和效率。需求驱动的开发提供了从系统规范到硬件流程的连续性,包括硬件定义,通过验证和合成进行RTL编码。

效益

  • 在整个设计和验证过程中持续跟踪需求
  • 高效、合规的电子硬件开发和验证
  • 可重复的设计开发流程,实现一致的质量流程
  • 项目管理的广泛控制和报告
  • 项目和认证支持的综合文件
  • 咨询,金宝搏娱乐城培训和合作伙伴提供支持

需求跟踪

一个高保证的设计过程需要一个设计执行其预期功能的证据,按要求规定。导师的高效解决方案使用需求跟踪程序进行需求管理和可追溯性,确保在各个开发阶段满足所有需求。自动化这些功能使您能够以经济高效的方式验证您的实现是否满足您的需求——确保产品质量。了解有关reqtracer的更多信息

  • 链接常见应用程序,如门,文件,或在硬件设计和验证过程中满足详细要求的电子表格
  • 选择链接/标记的粒度(级别)
  • 表演影子标记代码,以免修改以前设计项目中的代码
  • 相遇DO-254简单的可追溯性目标,全自动方式
  • 支持变更管理过程,自动检测需求变更并分析下游影响
  • 提供必要的文件以支持设计评审和审计。

设计

文本编辑器和设计开发环境有显著差异。HDL设计器是一个设计开发环境,帮助我们的航空和国防客户创建高保证设计。它简化了团队设计需求,自动化代码质量检查,并支持可重复方法的实际重用。HDL Designer提供配置和版本管理功能,下游集成确保整个设计开发的效率。了解有关HDL设计器的更多信息

  • 结构:促进团队设计开发以确保一致性,重复性,以及与所有下游工具的接口的生态可视性。
  • 过程控制:强制编码样式,支持文件和版本管理,并保持模拟和合成的下游结果。

更多设计功能

  • 代码质量检查:提供一个可定制的RTL规则检查程序,用于过梁和下游代码准备。
  • 可视化:生成框图和其他设计可视化,以帮助团队成员理解代码结构和功能。
  • 文档:自动生成HTML或Microsoft文件格式的文档。动态更新或用于报告的文档很容易从实际的设计文件中创建,以确保全面和完整的信息。
  • 配置管理:基于项目的设计开发确保了图书馆,为保持一致性和存档,包含了设计文件和相关文件。
  • 审查支持:支持准备,实施,以及为项目评审记录设计。

HDL设计器非常适合ASIC和FPGA设计开发。

  • 任何硅
    FPGA平台FPGA结构化ASIC,专用集成电路SOC,可编程逻辑器件,
  • 任何供应商
    Actel,阿特拉爱特梅尔芯片快递公司格子,希林克斯加上任何ASIC铸造厂
  • 任何语言
    VHDL语言Verilog系统语言
  • 任何流
    与所有领先的模拟集成,模拟和正式解决方案。与所有商业合成和P&R环境集成

验证

验证设备是否执行其预期功能(并且不会做任何意外的事情)是安全关键设计的关键部分,并且在您的DO-254流动。Mentor的业界领先的验证解决方案支持最复杂的设计。不管你目前的方法如何,如果你在实验室或验证上花费了太多时间,导师提供的解决方案可以帮助您提高验证效率和最终产品质量。

  • 模特儿是美国航空工业的工业标准模拟器。您可以在流的早期运行测试来模拟设计的行为,如果你等待实验室测试的话,捕捉错误的时间要早得多。ModelSim还包括代码覆盖率,如果要进行DAL A/B,必须将其作为元素分析的一部分运行。DO-254项目。了解有关ModelSim的更多信息
  • 奎斯塔以ModelSim强大的仿真引擎为基础,通过验证平台,为具有多种功能和并发行为的复杂设计提供现代验证方法。这些方法包括基于断言的设计和断言调试,交易级刺激,约束随机测试生成,功能覆盖和验证管理(自动链接到需求)。进一步了解Questa
  • 奎斯塔工具将正式的验证方法带到导师的验证工具箱中。
  • 福尔马普是逻辑等价性检查工具,用于在合成后和路由后验证逻辑网络列表。将netlist与golden rtl代码进行比较,可以识别缺陷,并在执行比netlist模拟快100倍的同时,为模拟提供更好的覆盖范围。formlpro支持FPGA和ASIC流。了解有关使用formlpro进行网络列表验证的更多信息

其他验证解决方案

合成

安全关键和DO-254流程是合成结果是可重复的,并在考虑设计保证的情况下生成。精密合成提供独立于供应商的综合,确保可靠的设计操作和安全的FSM编码,辐射硬化装置支架,优化控制,与FORMALPRO集成以进行逻辑等效性检查(LEC)。以及对任何FPGA设备的有效设计重用。了解有关精确合成的更多信息

方法评估和咨询

如果您遇到流程效率低下的问题(尤其是与验证方法相关的问题),并且需要降低DO-254程序,导师专家可以执行方法论评估你的设计流程。它们将为您提供一个安全、渐进地向更现代化、更高效的设计流程移动的计划,并着眼于DO-254顺从。

方法论评估的好处

好处包括

  • 降低实施成本DO-254
  • 使用DER批准的方法
  • 确保有效部署
  • 减少进度单或预算超支的风险
  • 对当前方法的增量改进
  • 经过验证的流程-用于50多个项目
  • 对组织的干扰最小

潜在可交付成果

  • 针对您独特方法的建议,目标,形势
  • 包括实施计划和投资回报率计算

有关方法评估的更多信息DO-254项目,,电子邮件DO-254信息请求.

导师咨询

导师咨询有丰富的经验帮助航空航天和军事公司改进其方法,实现DO-254顺从,加速成功,降低风险,尤其是在新的验证方法和测试台的创建中。我们直接与您的设计和验证团队合作,评估他们的验证需求,构建一个验证环境,帮助您实现解决方案,协助规划和管理。我们的顾问是使用Mentor的OVM方法和高级验证工具套件进行基于SystemVerilog的验证的专家。了解有关导师咨询的更多信息