On the Reuse of RTL assertions in Systemc TLM Verification