IEC 61508硬件诊断设计规范》
IEC 61508硬件诊断设计规范》[*]安全机制有效性验证
图表
代码
下载
45%35%20%诊断覆盖率构成故障注入逻辑测试形式化验证
[*]典型电路成本：
方案面积开销（μm²）认证通过率
双核锁步0.1898%
ECC+定时Scrubbing0.0795%
《IAR多核调试技巧大全》（10,300字）
同步断点脚本
tcl
# 双核同步调试
macro SYNC_DEBUG {
reset M7
reset M4
set_symbol __iar_ActiveCore, 0
set_breakpoint main// 主核断点
set_breakpoint _start @core=1// 从核断点
resume_all
}
页:
[1]