Addressing the Verification Challenge of Agile Hardware Methodologies