Modified parameter values and port names in mapping.v