Formal Verification of Source-to-Source Transformations for High-Level Synthesis - Tucker, Emily (ProQuest Dissertations and Theses, 2025)