أرسل هذا في رسالة قصيرة: Automated Reasoning for Agile and Robust Chip Design