The high-level synthesis of digital systems | IEEE Journals & Magazine | IEEE Xplore