Several years ago we recognized that proof test coverage was an important variable that must be considered when doing PFDavg calculations. We ran some models and discovered that the difference between “perfect” proof test coverage (100%) and a very good 90% could mean a whole SIL…