从保持最新的标准到管理所有相关数据,遵守功能安全要求传统上是一个耗时的手动工作。 Cadence正在通过对知识产权(IP)、片上系统(SoC)和系统设计的故障注入和结果分析的自动化来改变这一过程。

基于成熟的Cadence® Incisive®验证平台,Cadence的端到端功能安全解决方案将汽车ISO 26262合规性工作降低了50%。该解决方案作为Cadence System Development Suite的一部分提供。

测量连续运行的安全分析

满足功能安全要求需要做:

  • 检查器,在必要时监视系统并触发错误恢复功能
  • 冗余,在出现错误时提供连续功能

就这部分而言,安全工程师必须实施从系统到组件的需求跟踪,并确保其开发流程与工具置信度(TCL)一致。功能验证应在所有抽象级别和所有系统元素上进行。安全验证,其测量系统对不期望/非计划事件的响应,是另一个关键步骤。最后,为了完全合规,安全工程师必须记录和报告所有功能安全措施。

建立在经验证的Incisive平台上

Cadence的功能安全解决方案,包括Incisive Functional Safety Simulator和Inisive vManager™解决方案中的功能安全分析功能,完全满足ISO 26262的可追溯性、安全验证和TCL要求。

Incisive Functional Safety Simulator提供:

  • 无缝重用功能和混合信号验证环境,加快开发安全验证的时间
  • 解析过程中的故障识别
  • 重用现有的功能验证环境(支持SystemVerilog,通用验证方法(UVM)和 e
  • 未改变的被测设计(DUT)的仿真
  • 支持多种故障类型,包括单事件异常(SEU),stuck-at-0 /stuck-at-1和单事件瞬态

Inisive vManager解决方案中的功能安全分析功能:

  • 根据仿真器创建的故障字典自动生成安全验证计划。然后,Incisive vManager解决方案可以跟踪引入到仿真中的数百万个检测到的、部分检测到的和未检测到的故障,以验证设计中的安全系统。
  • 突出显示潜在的和未检测到的故障,做进一步调试

Cadence将继续扩展其功能安全解决方案,包括额外的硬件,软件和IP组件。