Highly Flexible and Robust System Level HW-SW Power Management Verification based on RISC-V