Enviar aquest missatge de text: Automated Reasoning for Agile and Robust Chip Design