*.log test.ys *.filtered *.verilogsim