better messages for xbsv-synth-ip.tcl

Change-Id: Icd90963c5d236a3ce3b0f2a9ed0844c48ee805db