OneSpin Solutions to Feature New Adaptive Formal Application, Formal Fault Qualification Analysis for Safety Critical Systems at DAC