High-Level Synthesis for Mixed Behavioral-Level/RTL Design Descriptions