mas sim for trace verification