added synopsys letter