Methodologies for Accelerated Open-Source Hardware Verification and Optimization