Efficient hardware controller synthesis for synchronous dataflow graph in system level design | IEEE Journals & Magazine | IEEE Xplore