simcrux (Ferrite-Engineering)VerificationConfidence: Medium

Gate-level outcomes for PicoRV32 recorded on a Mac disagree with a fresh Linux LibreLane run. A one-gate mutant shows no difference under Icarus on Linux even though the recorded fixture says it should, probably because the mutated gate is chosen by netlist position and the Linux netlist puts a different cell there.

Impact Analysis

Persona

Hardware Engineer

Team Size Impact

5x Multiplier

Prototype Delay

3 Days

Est. Annual Cost

$30,000

1 user · 1 month240 min
Rest of team960 min
Rest of year13,200 min

monthly_minutes × 12 × team_multiplier ÷ 60 × $75/hr = $30k/yr

$75/hr assumed rate.

Annual team-minutes decomposed from the reported monthly inputs.

Evidence & Sources

1 Sources

Ferrite-Engineering/simcrux Issue #35: flow-live: two PicoRV32 gate-level outcomes recorded on macOS differ on the Linux rerun

github.com

→

Analyst Notes

From the Grok pain-radar digests, Oct 28-29 2026 (Oct 28 8:41 AM ET through Oct 29 early-morning Haitch editions). Verified live 2026-10-29: issue/PR read; title and state confirmed.