Implementing Murf: Accelerating Large State Space Exploration on FPGAs | IEEE Conference Publication | IEEE Xplore