Shenghsun Cho, Michael Ferdman, Peter Milder. FPGASwarm: High Throughput Model Checking on FPGAs. In 28th International Conference on Field Programmable Logic and Applications, FPL 2018, Dublin, Ireland, August 27-31, 2018. pages 435-442, IEEE, 2018. [doi]
Abstract is missing.