Many products in markets such as automotive, industrial, railway, and healthcare are required to be certified against functional safety standards. In the standards, safety integrity levels (SIL) specify the methods to be used during development for verifying…