FPGASwarm: High Throughput Model Checking on FPGAs.

Shenghsun Cho, Michael Ferdman, Peter A. Milder

Browse the full FPL paper archive.