A hardware/software prototyping environment for dynamically reconfigurable embedded systems