RecodeX 重构消息,VerifAIX 获500万美元种子轮:AI生成芯片设计加速,独立验证为何成为正确性瓶颈