Verification of a RISC processor IP core using SystemVerilog | IEEE Conference Publication | IEEE Xplore