Automated Reasoning for Agile and Robust Chip Design - Sisco, Zachary David (ProQuest Dissertations and Theses, 2025)