第五届RISC-V中国峰会概况 - 峰会于2025年7月16至19日在上海张江科学会堂举办，设置1场主论坛、9场垂直领域分论坛、5场研习会、11项同期活动及4500平方米展览区，吸引数百家企业、研究机构和开源社区参与[1] - EDA分论坛汇聚西门子EDA、芯来科技、晶心科技、思尔芯、新思科技等企业技术专家，聚焦RISC-V系统设计调试、仿真优化与验证等创新探索[1] 西门子EDA的RISC-V调试解决方案 - 推出Tessent UltraSight-V调试系统，针对2.5D/3D芯片集成和海森BUG等复杂场景，通过硬件IP模块（处理器分析模块+增强型追踪编码器）实现端到端调试[4] - 支持USB/JTAG/AXI多接口，兼容GDB/VS Code开发环境，具备三大特性：1）DMA技术提升调试速度 2）周期精确指令追踪 3）多芯片系统级调试能力[4] - 方案集成UVM验证环境，可降低30-50%调试成本，缩短产品上市周期20%以上[4] 芯来科技的仿真优化技术 - 发布基于SystemC的Near Cycle Model建模技术，解决QEMU/Gem5等工具精度不足问题，通过集成Cycle信息使软件性能评估误差率降至<2%[7] - 采用Profiling技术优化热点函数，案例显示AES加解密程序CPU占用率下降40%，支持与第三方虚拟平台无缝集成[7][8] - 公司作为国内RISC-V IP龙头，2018年成立以来市场份额持续领先[7] 晶心科技的指令开发工具链 - 推出ACE框架实现RISC-V指令快速开发：仅需2个设计文件即可生成硬件RTL代码，通过COPILOT工具自动生成Verilog和软件代码[11] - AndesCycle仿真器提供流水线可视化分析，实测ByteDance视频编解码指令提速4.5%，深度学习sigmoid函数加速39%[12] - 方案支持早期性能验证，可减少50%指令开发周期[11][12]

星际天体3I/ATLAS的发现 - 天文学家观测到第三个进入太阳系的星际天体3I/ATLAS，这是人类发现的第三个"星际访客" [1] - 美国夏威夷双子座天文台拍摄到该天体的新图像，显示其拥有致密的彗发 [1] - 该天体最初由NASA资助的ATLAS望远镜系统发现，被标记为A11pl3Z，后正式命名为3I/ATLAS或C/2025 N1 [3] 3I/ATLAS的轨道特征 - 科学家计算其轨道偏心率达6.2，确认来自太阳系之外 [3] - 该天体正以每秒超过60公里的速度穿过太阳系，最终将离开太阳系 [3] - 目前位于木星轨道，距离地球4.65亿公里，距离太阳6亿公里 [5] 3I/ATLAS的物理特性 - 天文学家尚未确定其体积，推测直径可能在20公里左右 [3] - 表现出彗星特征，可能由大量水冰组成 [4] - 牛津大学研究团队认为其可能比太阳系更古老，有三分之二的可能性 [4] 观测计划与意义 - 双子座天文台将继续观测该天体在太阳光中变热的过程 [1] - 预计将在2023年10月30日到达距离太阳2.1亿公里的近日点 [5] - 12月将到达距离地球最近处约2.7亿公里，不会对地球构成威胁 [5] 星际天体研究背景 - 此前人类仅发现过两个星际访客：2017年的奥陌陌和2019年的鲍里索夫 [5] - 《自然》期刊指出人类可能遗漏了一些星际天体 [5]

产品发布 - 猛士M817开启预售，预售价区间32 99万—35 99万元 [1] - 新车定位硬派越野SUV，长宽高分别为5100/1998/1899mm，轴距3005mm [4] 技术合作 - 首批搭载华为乾崑智驾ADS 4与鸿蒙座舱5的车型 [3] - 鸿蒙座舱5配备10 25英寸仪表屏、15 6英寸中控屏等智能交互设备 [6] - 乾崑车云服务提供远程诊断与OTA升级功能 [6] 动力性能 - 搭载"极猛动力"混动系统，采用2挡纵置11模PHEV架构 [9] - 系统综合功率505kW，综合扭矩848N·m，轮边扭矩超过11000N·m [9] - CLTC综合续航1300km，馈电油耗7 24L/100km [9] 底盘技术 - 采用VMC智能底盘域控技术，实现三向全域协同控制 [9] - 空气悬架高度150mm可调，具备蟹行模式 [9] - 最大涉水深度900mm，最小转弯半径5 2米 [9] 智能驾驶 - 首搭乾崑智驾HUAWEI ADS 4，覆盖全国50万个停车场 [11] - 支持高速与城市NCA功能，应对复杂道路场景 [11] - 配备智能越野全地形系统，提供9种驾驶模式 [11] 市场竞争 - 上市后将与路虎卫士、坦克700等车型竞争 [3] - 以高度智能化作为主要差异化卖点 [3]

产业链配套问题 - 济宁高端制造企业受本地产业链薄弱制约，核心配套环节依赖外地协作，导致成本高、周期长[3] - 华春新能源若本地配套达60%以上，年成本可节省200多万元[3] - 联诚精密铸造年产量26万吨，若下游客户串联，产能可释放30%以上[3] - 济宁工信局承认新能源产业链规模小、能力弱，将重点补链强链延链[3] 违规驾校问题 - 多家驾校存在非标准路线教学、无证教练带教及私人收费绕开监管等违规行为[3] - 济宁交通局计划强化线下检查、线上监控及线索摸排，高压打击违规行为[4] 农产品加工短板 - 济宁毛木耳产业缺乏精深加工企业，产品以初级形态流出，附加值低[4] - 农业农村局称深加工技术研发和设备成本高，当前规划未落实但有关注[4] - 市政府计划从品质、品牌、价值三方面提升，将食品产业纳入标志性产业链[5] 儿童公园运营问题 - 儿童公园夏季闭园时间早（18:30），设施老旧引发市民不满[7] - 城投集团称原闭园决策基于安全及成本考虑，将成立专班研究延长开放时间[7]

公司破产申请 - 钟薛高食品(上海)有限公司因不能清偿到期债务且资产不足以清偿全部债务，被债权人申请破产立案审查 [1] - 公司被申请破产的核心原因是"资不抵债"，反映出经营能力不足导致债务风险及信任崩塌 [1] - 2024年7月公司因运输合同纠纷被强制执行134万余元，12月子公司被强制执行1662万余元 [9] - 2025年1月公司及子公司再次被强制执行685万余元 [9] 品牌战略与市场定位 - 公司2018年成立时放弃平价市场，通过定价超50元的产品锁定高端市场 [2] - 曾推出66元"厄瓜多尔粉钻"雪糕在15小时内售出2万支，2021年发布68元和88元新品创品牌历史新高 [2] - 高端定价策略忽略了大众市场需求，导致市场份额萎缩 [2] - 2023年推出3.5元Sa'Saa系列试图转型平价市场，但消费者接受度有限 [5][6] 营销与渠道问题 - 采用"雪糕刺客"销售模式，与平价雪糕混放导致消费者价格预期错位 [3] - 创始人公开言论"成本接近40元，爱要不要"引发消费者负面情绪 [2] - 高端形象与接地气销售方式形成矛盾，品牌定位混乱 [3] 经营困境与债务危机 - 2023年10月出现拖欠员工工资情况，创始人被限制高消费 [7] - 2024年初停止供货，多家供应商因合同纠纷起诉公司 [7] - 创始人2024年5月直播带货偿还债务，但729名员工工资仍未解决 [7] - 直播带货中红薯定价过高（8元/斤）再次引发"刺客"争议 [8] 行业启示 - 新消费品牌需平衡营销投入与经营能力，避免过度依赖概念炒作 [1] - 品牌溢价需真实价值支撑，经营能力应优先于营销能力 [1] - 高端市场策略需考虑大众接受度，避免与消费者需求脱节 [2]

峰会概况 - 第五届RISC-V中国峰会于2025年7月16至19日在上海举办，设置1场主论坛、9场垂直领域分论坛、5场研习会、11项同期活动及4,500平方米展览区，吸引数百家企业、研究机构及开源社区参与 [1] - 合见工软在EDA分论坛发表主题演讲，聚焦香山昆明湖16核CPU的FPGA验证方法学 [1][3] 香山处理器技术演进 - 第一代雁栖湖：实现乱序执行架构，奠定RISC-V高性能设计方法学基础 [3] - 第二代南湖：性能对标ARM Cortex-A76，成为业界公认的高性能RISC-V核 [3] - 第三代昆明湖：面向数据中心场景，性能对标ARM Neoverse N2，支持64核SoC架构，关键技术包括多核可扩展性（64-256核）、高带宽NoC总线及强一致性内存系统 [3] 多核验证核心挑战 - 规模挑战：FPGA资源需求远超传统平台，需处理复杂总线、多级缓存及外设接口 [4] - 性能挑战：目标FPGA运行速度达10MHz以支持操作系统及软硬协同验证 [4] - 调试挑战：跨核交互与缓存一致性引发深层次Bug，缺乏专用调试工具 [4] 四步验证方法学突破 - 设计移植与适配：实现ASIC到FPGA的自动化转换，涵盖时钟树、存储模型等 [5] - 编译与资源优化：动态平衡资源占用与编译效率，最大化设计收益 [6] - 渐进式启动策略：从单核逐步扩展至多核，降低调试复杂度 [6] - 软硬协同调试：通过硬件仿真与后门加载技术快速定位故障，16核系统稳定运行达10.2MHz，超预期目标 [6] 行业影响与未来方向 - 项目构建多用户并行验证环境，提升硬件资源利用率，推动EDA厂商开发多核验证特性如低功耗分析 [6] - 香山系列为行业提供标准化验证方法，加速RISC-V生态完善及国产高性能处理器全球化应用 [7]

峰会概况 - 第五届RISC-V中国峰会于2025年7月16至19日在上海张江科学会堂举办，设置1场主论坛、9场垂直领域分论坛、5场研习会、11项同期活动及4,500平方米未来科技展览区，吸引数百家企业、研究机构及开源技术社区参与 [1] - 中国科学院计算技术研究所徐易难在EDA分论坛发表主题演讲，探讨"SVM：可用综合方法实现RISC-V处理器的高效验证" [1] 处理器验证现状与挑战 - 验证环节已成为芯片开发瓶颈：86%芯片项目首次流片失败，75%项目超预定时间表，验证工程师与设计工程师比例自2007年持续上升 [3] - 协同仿真方法面临两大核心问题：RISC-V指令集扩展导致验证工作量激增，多核处理器仿真速度较单核下降92% [3] - 硬件仿真平台（如FPGA）可加速验证过程，但通信开销仍限制性能，Cadence Palladium等高性能平台亦无法完全解决 [4][5] SVM方法创新与技术突破 - 可综合验证方法（SVM）通过全硬件化验证逻辑消除通信开销，需解决三大挑战：软件REF电路硬件迁移、硬件REF执行效率提升、硬件环境调试机制缺失 [5] - 关键技术包括：语义代码迁移技术（实现指令集精准硬件化）、简化硬件参考模型SRef（验证速度提升）、硬件化调试机制（集成断言/计数器/错误日志） [6] - 实验数据显示：FPGA平台验证速度达60MHz（较DiffTest快10倍），Cadence Palladium平台达1.9MHz接近理想速度 [6] 行业应用前景 - SVM方法已在香山、果壳等RISC-V处理器验证中成功应用，为指令集扩展背景下的高效验证提供解决方案 [6] - 该技术不仅适用于RISC-V领域，其方法论可扩展至其他硬件验证场景，推动行业验证技术向高效精确方向发展 [7]

财务表现 - 2025年第二季度营收77亿欧元（约630.3亿元人民币），超出市场预期的75.4亿欧元 [1] - 净利润22.9亿欧元（约189.4亿元人民币），超出市场预期的20.1亿欧元 [1] - 毛利率53.7%，超过预期的51.6% [1] - 第三季度营收指引74亿至79亿欧元，低于市场预期的83亿欧元 [3] - 2025年全年净销售额预期增长15%，预计达到325亿欧元（约2333亿人民币） [6] 订单与客户 - 第二季度净订单量55.4亿欧元（约462亿人民币），比预期高出25% [3] - 中国大陆需求占过去三个季度机器销售额的27%，与上一季度持平 [7][8] - 台积电、三星、英特尔是主要客户，其中台积电对业绩影响最大 [7] - 中国大陆客户因美国出口限制继续购买旧款DUV机器 [7] 市场预期与展望 - 公司警告2026年可能无法实现收入增长 [1][3] - 首席执行官表示2026年增长存在不确定性，但2030年展望仍然乐观 [6] - 第二季度是决定2026年前景的关键时期，因交货周期约12个月 [6] - 分析师指出需将第二季度订单预估翻倍才能满足2026年收入预测 [6] 业务背景 - 公司是全球半导体供应链关键企业，提供芯片制造所需的光刻设备 [7] - 极紫外光刻设备是制造最先进芯片（如苹果、英伟达设计）的必需品 [7] - 美国关税政策带来不确定性，但第二季度负面影响小于预期 [1]

论坛概况 - WAIC 2025"大模型智塑全球产业新秩序"论坛将于7月28日在上海徐汇西岸举办 聚焦大模型技术演进与垂类应用创新 探讨其对宏观发展和垂直领域的变革影响 [1] - 论坛由中国信通院承办 华东分院协办 徐汇区新型工业化推进办公室 上海市先导产业促进中心 联合国工业发展组织投资与技术促进办公室（中国·上海） 上海工创中心等单位支持 [1] 嘉宾阵容 - 论坛汇聚知名院士 BSI英国标准协会 北京前瞻人工智能安全与治理研究院等机构顶尖学者 [2] - 参会嘉宾包括中国信通院 上海人工智能实验室 上海大学 复旦大学附属中山医院等权威专家 [2] - 企业科技领军者来自蚂蚁集团 昆仑万维 印象笔记 中数睿智 上海联通 阿里云 第一财经等 [2][6][7][9][10] 核心议题 - 立足全球视野 纵览大模型产业发展态势 标准构建与治理框架 [2] - 探讨尖端技术突破 垂类场景落地 安全体系搭建等全方位议题 [2] 重要活动 - 中国信通院联合十余家机构发起"大模型开源安全倡议" 推动人工智能开源生态安全与繁荣发展 [12] - 发布《2025年"人工智能+"行业标杆案例荟萃》 展现人工智能融入各行业的前沿成果 聚焦垂类场景 消费产品 安全治理 创新载体及人才发展五大领域 [13] - 举办圆桌论坛"大模型在垂类场景的实践探索与迭代共生" 聚焦医疗 工业 传媒 科研等关键领域的一线实践 [14]

公司战略与竞争态势 - 公司首次公开回应"外卖大战" 强调"善战但不好战" 承认过去对外沟通不足 [1] - 公司在历次行业竞争中展现出独特生存轨迹 从百团大战到外卖业务均能在长期博弈中占据重要市场位置 [1] - 核心本地商业CEO王莆中表示公司是被动卷入竞争 但能用比对手更少资源应对 [2] 核心竞争优势 - 精细化运营能力：补贴策略基于十年积累的精准方法 包括用户分层 券型设计和商户协同 避免出现"负订单"等运营事故 [2] - 规模效应护城河：拥有7.7亿用户 1450万年活跃商户和336万月均连接骑手 在高价值订单(客单价30元以上)中占据70%份额 [3] - 本地商业垂直整合能力：擅长优化本地供应链而非依赖流量 通过效率提升创造可持续模式 该能力难以被跨行业巨头复制 [3] 公众沟通与社会形象 - 公司承认公众形象缺乏"活人味" 过去因沟通不足导致骑手福利改进(如8分钟免责时间 16亿元夏季补贴)和佣金结构(实际6%-8%技术服务费+配送费)未被充分认知 [5] - 需要建立更透明的沟通机制 用大众语言解释商业模式 目前3%-4%的利润率常被误对比高利润电商 [6] - 大众点评品牌因过度商业化削弱公信力 公司面临从商业赢家转型为社会公共基础设施提供者的挑战 [7] 行业地位与发展方向 - 公司已成为覆盖外卖 闪购 到店消费的生活服务巨头 与数百万骑手构成民生基础设施 [1][4] - 需构建社会价值叙事能力 沟通与商战同等重要 首次高管访谈仅是转型起点 [7][8]