Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions | IEEE Conference Publication | IEEE Xplore