A Path to Safer Digital Systems Using Proactive Hazard Analysis in Logic Circuit Design | IEEE Conference Publication | IEEE Xplore