Sehwa: a software package for synthesis of pipelines from behavioral specifications | IEEE Journals & Magazine | IEEE Xplore