Title: Hardware Proofs Using Ehdm and the Rsre Verification Methodology