High-Level Synthesis Using Given Datapath Information (Special Section on VLSI Design and CAD Algorithms)