Mary Ellen Tie, Miriam Leeser. Implementing Murf: Accelerating Large State Space Exploration on FPGAs. In 2012 IEEE 20th Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2012, 29 April - 1 May 2012, Toronto, Ontario, Canada. pages 243, IEEE, 2012. [doi]
Abstract is missing.