Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262
暂无分享,去创建一个
[1] Ching-Te Chiu,et al. Assessing automotive functional safety microprocessor with ISO 26262 hardware requirements , 2014, Technical Papers of 2014 International Symposium on VLSI Design, Automation and Test.
[2] Ulf Schlichtmann,et al. Where formal verification can help in functional safety analysis , 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[3] Zebo Peng,et al. Test tool qualification through fault injection , 2012, 2012 17th IEEE European Test Symposium (ETS).
[4] Heinrich Theodor Vierhaus,et al. Evaluating Coverage of Error Detection Logic for Soft Errors using Formal Methods , 2006, Proceedings of the Design Automation & Test in Europe Conference.