Next-Gen Verification Technologies for Processor-Based Systems