Methodologies for Accelerated Open-Source Hardware Verification and Optimization - Gilani, Farzam (ProQuest Dissertations and Theses, 2025)