GAUT - High-Level Synthesis tool From C to RTL