本土IC热点：
1.芯片验证的“ChatGPT时刻”来了！——HimaFormal MC+UCAgent让形式化验证从“博士专属”变成“人人可用”
2.总投资超 10 亿！熠铎科技 12 英寸半导体玻璃载板项目奠基
3.投资20亿元！沈阳拓荆高端半导体设备产业化基地项目预计7月封顶
4.工信部：推动工业数据开发利用 加快高质量行业数据集建设
5.通鼎互联紧急澄清“搭上英伟达”传闻 股价应声大跌
6.中国科大成功研制“九章四号”量子计算原型机
http://t.cn/AXioXsqV