YC F26 批次公司 Simantic 在 Hacker News 发布面向工程师和 AI 智能体的固件仿真工具，希望让开发者无需实体开发板即可测试、验证固件。团队指出，AI 已能快速生成固件，但测试仍需烧录开发板并由工程师操作工具；Simantic 要把这一验证环节接入智能体的工作流程，让它根据测试结果继续决策。
创始人 Ahnaf 和 Seungmin 自述，此前曾在 Neuralink、Tesla 等公司从事固件开发，参与过 Cybertruck 和 Roadster 的早期原型项目。
据团队介绍，Simantic 提供三项功能：一次 API 调用即可编程和运行的虚拟开发板；以仿真结果为依据的 AI 固件代码审查机器人；以及每次提交代码时，都在模拟单片机上验证固件的 CI/CD 流水线。
团队称，现有用户将其用于裸机和 RTOS 开发，应用涉及飞控、电动车、机器人和卫星。团队举例称，曾帮助一家早期太空初创公司，在尚未取得硬件时测试卫星固件；相关卫星的开发模块成本超过 10 万美元，而他们以约百分之一的成本和时间完成了测试。这一成本与时间对比来自团队自述。
Simantic 最初的 MVP 基本是开源仿真框架 Renode 的封装。团队称，贡献代码的合入速度、基于 Dotnet 的运行性能，以及不需要却难以移除的功能，限制了产品推进；部分对时序精度要求较高的用户也反馈，仿真精度不足以验证固件。团队随后用 Rust 从零编写了仿真引擎。
为校验模型，团队称搭建了全天候运行的硬件验证台：开发板连接 Saleae Logic MSO 和 SWD 总线，由 Linux PC 控制，并持续运行 Claude，寻找仿真与真实硬件之间的差异。
创始人 Ahnaf 在评论中进一步说明，仿真本身具有确定性，即输入相同则输出相同，不使用基于机器学习的建模；硬件行为的数据采集则存在部分概率性。
据发布帖，云端仿真器已可使用，开发者计划许可证附带原生二进制文件，可在本地运行固件。创始人解释，云服务便于集成 GitHub，并在每次提交时自动运行验证，同时也提供付费本地许可版本。
团队公布的支持范围包括部分 STM32F0、F4、H7 系列 MCU，以及 ESP32-S3/C3 和 RP2040。创始人在评论中单独列出的云端 API 可运行型号为 STM32F042/F048、ESP32-C3、RP2040、STM32F072、STM32F446 和 STM32F401。
仿真精度方面，创始人表示，硅验证基准当时尚未公开，计划在未来几个月公布。本文未独立核验团队的性能、成本及精度说法，相关效果仍需结合后续公开的验证数据判断。
