Received the CAV25 Distinguished Paper Award for Introducing Certificates to the Hardware Model Checking Competition 🎉