Model Checking Bluespec Specified Hardware Designs | IEEE Conference Publication | IEEE Xplore