Describing and Simulating Dynamic Reconfiguration in SystemC: Exemplified by a Dedicated 3D Collision Detection Hardware