Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS