Boeken over Tool for model based generation and control of reconfigurable hardware