Tekstiviesti: An AMBA−ARM7 Formal Verification Platform