Firmware-in-the-loop on the board you actually drew
Prev. Stitch Fix · Amazon · Bain Capital Ventures. Built ML systems in production at scale; runs how we turn datasheets into models.
FITL only helps if both sides are honest. Stubbed HALs hide pinmux bugs. Always-ACK peripherals hide stretch and address mistakes. HardLabs runs the shipping image against models wired like your schematic.
SIL, FITL, and HIL — without the slideware
SIL usually replaces the MCU with a host process. HIL needs physical I/O. FITL here means MCU-accurate instruction execution plus peripherals that can fail the way silicon fails. If your “FITL” never NACKs, it is a unit test with extra steps.
What we take from your design package
Netlist for connectivity, BOM for MPNs, optional schematic docs for straps and addresses. Firmware as .elf/.bin. You do not rewrite drivers for the simulator.
Assertions that belong in CI
Protocol and timing contracts — stretch limits, forbidden register sequences, power-order assumptions encoded as checks — should fail the pipeline the same way a red bring-up does, only earlier.
FAQ
- Will my RTOS and HALs run unchanged?
- That is the goal for supported MCU families. Gaps are called out when a peripheral model or CPU platform is missing — we do not pretend coverage we do not have.
HardLabs
What HardLabs does — join the design-partner pilot
We build a digital twin from your netlist, schematic, and BOM, run your real firmware against it, and fail CI when pinmux, buses, or timing contracts break — weeks before bring-up on hardware.
- A digital twin of your hardware, built from your netlist, schematic, and BOM.
- A virtual lab: scopes, logic analyzers, and firmware debuggers in simulation.
- Auto-flagging of power-sequence errors, output contention, and race conditions.
Related
- HIL alternative before hardware
Need HIL-class coverage before PCBs exist? HardLabs runs unmodified firmware against a netlist-derived board model — a software HIL path for schematic freeze.
- Renode board platforms
Generate Renode board platforms from KiCad or Allegro netlists. Attach peripheral models, surface coverage gaps, and load a .repl without hand-maintaining every CS line.
- Simulate firmware without hardware
Simulate firmware without a board: where QEMU’s idealized peripherals fall short, and how board-level models catch pinmux and bus bugs before fab.
- HardLabs vs QEMU
- The I²C Clock-Stretch Bug We Caught Four Weeks Before Fab
