https://alviss.ai/fullpage/2566665/3
Practical Model Checking on FPGAs