Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study | IEEE Conference Publication | IEEE Xplore