Design Verification with e