Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions