RTL assertion mining with automated RTLto-TLM abstraction