Implementing Murf: Accelerating Large State Space Exploration on FPGAs.

Mary Ellen Tie, Miriam Leeser

Browse the full FCCM paper archive.