Simantic Cloud Sim – Mô phỏng firmware trên vi điều khiển ảo cho tác tử AI

Simantic, Inc. là startup tại Waterloo, Canada, thành lập năm 2025 bởi các sinh viên kỹ thuật Đại học Waterloo từng làm firmware tại Tesla và Neuralink, và thuộc khoá Y Combinator Fall 2026. Công ty giải quyết việc các đội nhúng phải chờ hàng tuần hoặc hàng tháng để có phần cứng thật mới kiểm thử đầy đủ firmware, và định vị trình mô phỏng là hạ tầng cho tác tử AI viết mã phần cứng.

Cloud Sim chạy file firmware nguyên bản trên vi điều khiển ảo như RP2040 và các dòng STM32, trong đó STM32H743 và H753 được mô hình hoá đầy đủ từ bản 0.8. GPIO, ADC, UART, SPI, I2C, CAN và CAN FD, USB, Ethernet và BLE/Wi-Fi trên chip đều được mô phỏng, còn thiết bị ngoài viết bằng Python mô phỏng cảm biến theo thời gian ảo trên bus CAN, đường UART và mạng Ethernet dùng chung. Kết quả chạy có tính tất định cho CI, có kiểm tra đầu ra UART, GDB stub, OpenOCD JTAG và hiển thị tín hiệu dạng sóng. Truy cập qua CLI sim, HTTP API, gói TypeScript và máy chủ MCP cho tác tử AI, có lưu trữ riêng cho doanh nghiệp.

• Vi điều khiển ảo: chạy firmware thật trên RP2040 và các dòng STM32 đã mô hình hoá, gồm STM32H743/H753.
• Phạm vi ngoại vi: GPIO, ADC, UART, SPI, I2C, CAN/CAN FD, USB, Ethernet và BLE/Wi-Fi.
• Thiết bị ngoài lập trình được: mô hình Python cho cảm biến và thiết bị trên CAN, UART và Ethernet.
• Sẵn sàng cho CI: chạy tất định, kiểm tra đầu ra UART và kiểm tra cấu hình.
• Truy cập gỡ lỗi: GDB stub, OpenOCD JTAG, cầu nối UART và hiển thị tín hiệu dạng sóng.
• Truy cập cho tác tử và API: CLI sim, HTTP API, gói TypeScript và máy chủ MCP cho tác tử AI.

Đội gia công phần mềm ô tô tại Việt Nam có thể kiểm thử firmware CAN trên STM32 trong CI trước khi phần cứng ECU của khách hàng về tới. Đội điện tử vệ tinh hoặc drone có thể mô phỏng firmware máy tính trên khoang với cảm biến lập trình bằng Python. Phòng thí nghiệm hệ thống nhúng ở trường đại học có thể cho sinh viên và công cụ AI kiểm thử mã trên vi điều khiển ảo.

Firmware có thể được kiểm thử ở mỗi lần commit từ rất lâu trước khi bo mạch được sản xuất, giảm rủi ro tiến độ do chậm phần cứng. Kết quả chạy tất định giúp CI tái lập được và đơn giản hoá việc gỡ lỗi chập chờn. Tác tử lập trình AI có thể kiểm thử mã mình viết trên vi điều khiển mô phỏng qua máy chủ MCP. Có gói Community miễn phí, gói Developer 100 USD mỗi tháng và lưu trữ riêng ở gói Enterprise.

Khi tác tử AI bắt đầu viết mã nhúng, các đội phát triển cần cách kiểm chứng mã mà không phải chờ hoặc mạo hiểm với phần cứng thật, và phát triển lấy mô phỏng làm đầu đang lan từ ô tô, hàng không vũ trụ sang điện tử nói chung. Ngành gia công phần mềm nhúng và điện tử ô tô tại Việt Nam, vốn thường làm việc trên phần cứng khách hàng giao muộn, có thể hưởng lợi từ môi trường kiểm thử ảo.

Thành lập năm 2025 tại Waterloo, Canada, bởi Seungmin Hong (CEO) và Ahnaf Shahriar (CTO). Công ty đã gọi được khoảng 600.000 USD, tham gia vườn ươm Velocity và được nhận vào khoá Y Combinator Fall 2026. Website đã chuyển từ simantic.dev sang simantic.com.