final synthesized module in synth.v