Hermod: an interactive behavioral synthesizer for VLSI | IEEE Conference Publication | IEEE Xplore