Abstraction of RTL IPs into Embedded Software