Bridging the formal methods gap: a computer-aided verification tool for hardware designs | IEEE Conference Publication | IEEE Xplore