Using ER Models for Microprocessor Functional Test Coverage Evaluation