Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models | IEEE Conference Publication | IEEE Xplore