HardLabs
Hardware simulation

Simulate your entire hardware design with firmware in the loop.

HardLabs simulates your circuit with SPICE-grade behavioral models and runs your real firmware against it — so you catch integration and timing bugs days or weeks before a physical prototype is fabbed.

Built by engineers fromNVIDIABloombergAmazonStitch Fix

The problem

Bugs found late are the most expensive bugs you ship.

By the time firmware meets hardware on a real bench, the cheap window to fix things has closed. The bugs that live on the hardware/firmware boundary are exactly the ones nobody can see until both halves exist.

01

Respins cost weeks

A bug caught after fab means a board respin — roughly $50K and six weeks gone before you can even test the fix.

02

The boundary is invisible

Until the board and the firmware both exist, no one can see how they actually behave together — so integration risk hides until the worst possible moment.

03

Rigs don't exist yet

Bench and HIL setups are expensive, and you can't build one until the hardware is already in hand — so firmware waits on the board.

How it works

How firmware-in-the-loop testing works

01

Model your circuit

Import a netlist or build from datasheets. HardLabs generates behavioral models of your MCU, peripherals, and analog front end.

02

Run firmware in the loop

Flash your real firmware image into the simulated MCU. It executes against the circuit — GPIO, interrupts, I²C, SPI, and timers included.

03

Catch bugs before bring-up

Step through bus traffic, assert on timing, and scope any node. Fix integration bugs while they're still cheap to fix.

Map your netlist in minutes. Model what matters by hand.

Import from Altium, KiCad, or a SPICE netlist — digital connectivity and bus topology come across almost instantly. Behavioral models for the analog parts that drive bring-up (PMICs, sensors, front ends) take longer; we tell you which is which, and you can request models we haven't built yet.

Imports
AltiumKiCadSPICE netlistAllegro · Xpedition (roadmap)
Firmware
.elf / .binsource + toolchainno code change

How it's different

SPICE shows you the circuit. Emulators run your firmware. Neither shows you the boundary.

The expensive bugs live where firmware meets analog — and today no single tool sees both halves at once.

vs. SPICE

SPICE simulates the circuit, but nothing is driving it the way your real firmware will. You verify the schematic, not the system.

vs. firmware emulators

Renode and QEMU run your firmware against idealized, register-level peripherals. The peripheral always behaves — so the timing and protocol violations that cause respins never show up.

vs. a HIL rig

A bench rig is the real thing, but it doesn't exist until the board does. By then the cheap window to fix integration bugs has already closed.

HardLabs runs your real firmware against an analog-aware circuit model and fails the build the moment a timing or protocol contract breaks — weeks before the first board is fabbed.

What it catches

Catches the bugs that cause respins.

The expensive bugs live on the timing and protocol boundary — a clock-stretch a peripheral won't tolerate, an interrupt that races a DMA transfer. HardLabs runs your firmware against the simulated circuit and fails the run the moment a contract breaks.

In an early design-partner project, an I²C clock-stretch violation surfaced four weeks before the first board was fabbed — exactly the miss that otherwise means a respin.

Model fidelity, stated plainly

Digital and bus connectivity map from your netlist almost immediately. Analog behavioral models — the parts that surface real timing and power-domain bugs — are hand-tuned to expose integration failures, not to replace final sign-off characterization. We tell you where each model's edges are.

Coverage at launch
Arm Cortex-M0 / M4 / M33I²CSPIUARTGPIO · timers · interruptsADC / PWMsensors · PMICs · bus devices
On the roadmap
Cortex-A · FPGAAllegro / Xpedition importPCIe · SerDes · DDREthernet PHY

What you get

Circuit simulation for firmware, with the depth to find real bugs.

Models

Behavioral peripheral models

SPICE-grade analog plus digital models for sensors, PMICs, and bus devices — accurate enough to surface real timing behavior.

Assertions

Firmware-in-the-loop assertions

Write checks that fail the build the moment firmware violates a timing or protocol contract — and produce traceable results you can tie back to requirements.

Bus

Decode & inspect bus traffic

Live I²C, SPI, and UART decode with a logic-analyzer view. No probes, no rig, no soldering.

Scope

Scope every node

Trace any signal over time, zoom to the edge, and measure exactly like a bench oscilloscope.

CI

Headless in CI

Run the full loop in CI so every firmware commit is regression-tested against the board.

Who it's for

Built for the people who own bring-up.

Embedded & firmware engineers

Write and test drivers the day the schematic freezes — not the day the board lands on your desk.

Hardware design engineers

Confirm firmware drives your circuit the way the datasheet promised, before you commit a design to fab.

EE managers

De-risk bring-up timelines by running hardware and firmware in parallel instead of in sequence.

Security

Built to run where your IP lives.

Your netlists and firmware stay yours — we don't train on customer designs. Self-hosted and on-prem deployment for export-controlled and IP-sensitive teams; talk to us about your environment.

Who's behind it

We've shipped the hardware, the firmware, and the ML that ties them together.

Agnieszka Szefer

Co-founder & CEO
Prev. Stitch Fix · Amazon · Bain Capital Ventures. Built ML systems in production at scale; runs how we turn datasheets into models.

Adam Szefer

Co-founder & CTO
Prev. Bloomberg · Gyfted. Systems and simulation infrastructure — the engine that runs your firmware against the circuit.

FAQ

Questions engineers ask first.

HardLabs combines SPICE-grade behavioral models for analog blocks with cycle-aware digital models for buses and MCUs. They're tuned to expose integration and timing bugs — not to replace final sign-off characterization.

Find the bug before the board exists.

Join the waitlist for early access to firmware-in-the-loop testing on simulated circuits.