High-level synthesis in an industrial environment | IBM Journals & Magazine | IEEE Xplore