Title: Hardware Proofs Using EHDM and the RSRE Verification Methodology