adding synthesize attribute to the module and a print statement for pinmux generation.