From application descriptions to hardware in seconds: a logic-based approach to bridging the gap | IEEE Journals & Magazine | IEEE Xplore