Interleaving behavioral and cycle-accurate descriptions for reconfigurable hardware compilation | IEEE Conference Publication | IEEE Xplore