DVCon 2010 Cadence Verification Alliance Interview: "AMIQ and DVT"