Text this: Hybrid learning scenario path selection and abstraction framework for smart verification of complex SoCs.