Making Concurrent Hardware Verification Sequential (2025) | Dark Hacker News