Enviar por SMS: Automated Reasoning for Agile and Robust Chip Design