MediaTek adopts Synopsys HAPS-80 prototyping system