A system for production use of high-level synthesis | IEEE Journals & Magazine | IEEE Xplore