Interleaving Behavioral and Cycle-Accurate Descriptions for Reconfigurable Hardware Compilation