Implementing Murf: Accelerating Large State Space Exploration on FPGAs. - Mary Ellen Tie; Miriam Leeser (FCCM, 2012)