Efficient metrics and high-level synthesis for dynamically reconfigurable logic. by Meribout, M.