Describir: Automated Reasoning for Agile and Robust Chip Design