SYNOPSYS INC Quarterly Report for Q2 Ended Apr 30, 2000