It’s Not My Fault! How to Run a Better Fault Campaign Using Formal
The ISO 26262 automotive safety standard requires evaluation of safety goal violations due to random hardware faults to determine diagnostic coverages (DC) for calculating safety metrics. Injecting faults using simulation may be time-consuming, tedious, and may not activate the design in a way to propagate the faults for testing.
Full-access members only
Register your account to view It’s Not My Fault! How to Run a Better Fault Campaign Using Formal
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.