Coverage-directed verification of microprocessor units based on cycle-accurate contract specificationsстатья