Court denies Synopsys motion to block patent reexamination