2013 Form 10-K — SYNOPSYS, INC.