Telefona gönder: Automated Reasoning for Agile and Robust Chip Design