HDL Program Slicing to Reduce Bounded Model Checking Search Overhead | IEEE Conference Publication | IEEE Xplore