Efficient metrics and high-level synthesis for dynamically reconfigurable logic | IEEE Journals & Magazine | IEEE Xplore