On the reuse of RTL IPs for SysML model generation