RT DW A1 Pan, Peitian. T1 Addressing the Verification Challenge of Agile Hardware Methodologies