Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing