Exploiting "architecture for verification" to streamline the verification process