Hazard detection in combinational and sequential switching circuits | IEEE Conference Publication | IEEE Xplore