
前 Neuralink 和特斯拉固件工程师 Ahnaf 与 Seungmin 联合创立了 Simantic,旨在构建一个仿真层,使工程师和 AI 智能体能够在无需物理硬件的情况下测试和验证固件。
在 ChatGPT 兴起之前,固件开发长期受限于物理依赖。尽管 AI 能在数秒内生成代码,但传统测试流程仍需将代码烧录至物理开发板,并借助昂贵且笨拙的工具手动运行。Simantic 通过仿真层将这一耗时数小时的验证过程压缩至秒级,使 AI 智能体能基于证据自主决策,而非等待人工干预。
重构仿真引擎:从封装到自研
项目初期,团队曾尝试基于 Renode 和 QEMU 等开源框架构建最小可行产品(MVP),但很快发现存在显著局限:受制于开源社区的开发节奏,功能迭代缓慢;Renode 基于 Dotnet 构建,性能未达预期且语言特性带来约束;工具臃肿,包含大量无用功能且难以裁剪。此外,用户反馈开源模拟器在时序精度上无法满足航空电子和汽车等安全关键系统的需求。
鉴于此,Simantic 使用 Rust 语言从头开发了专属仿真引擎,核心优势包括:
- 高精度仿真:不同于侧重可扩展性的开源框架,Simantic 专注于深度模拟,确保时序精度。
- 全天候硬件验证:通过连接 Saleae Logic MSO 和 SWD 总线的开发板,由 Linux PC 控制并全天候运行 AI 模型,实时比对仿真与真实硬件差异,确保持续校准。
- 开发者友好体验:提供虚拟开发板,支持通过单个 API 调用在终端内完成编程与运行;集成固件 AI 代码审查员,基于仿真证据提供智能判断;支持硬件项目的 CI/CD 流水线,在每次代码提交时自动验证。
应用场景与商业化进展
目前,Simantic 已应用于裸机和实时操作系统(RTOS)开发,涵盖飞行控制器、电动汽车、机器人及卫星等领域。对于价值数十万至数百万美元的设备,其仿真系统能大幅降低因固件错误导致的安全风险。
在实际案例中,Simantic 协助一家早期太空初创公司测试了其尚未拥有的卫星固件。该卫星开发模块成本超过 10 万美元,而通过 Simantic 的仿真方案,客户仅以百分之一的成本和时间完成了验证工作。
Simantic 云端托管仿真器现已开放使用,同时提供原生二进制文件及开发者计划许可证,支持用户在本地无限制运行。目前支持的微控制器包括 STM32F0/F4/H7 系列、ESP32-S3/C3 以及部分 RP2040 型号,团队正每周持续发布新模型并优化现有支持。