update t/synopsys.pl