add some debug string info to gtkwave