High level modeling of Dynamic Reconfigurable FPGAs. (17th May 2009)