Synopsys and Cadence lose $12 billion as AI fears rattle EDA sector