System-level modeling of dynamically reconfigurable hardware with SystemC | IEEE Conference Publication | IEEE Xplore