Describir: Methodologies for Accelerated Open-Source Hardware Verification and Optimization