Formally verified FPGA watchdog for AM broadcast in unmanned tunnels
Details
- External ID
- 47061742
- Source
- HN
- Company
- —
- Product
- Formally verified FPGA watchdog for AM broadcast in unmanned tunnels
- Website domain
- github.com
- Launched
- Feb. 18, 2026
- Cohort
- —
- Upvotes
- 62
- Upvotes percentile
- 0.8409703504043127
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:25 p.m.
- Updated at
- Sept. 7, 2026, 9:25 p.m.
Enrichment
- Theme
- autonomous robotics, drones, and sensor hardware
- Vertical
- Construction
- Function
- Hardware & robotics
- Audience
- B2B
- AI stance
- Not AI
- Project type
- Commercial product
- Normalized one-liner
- fpga watchdog for broadcast systems
- Manually corrected
- False
Could you build this?
No Designing safety-critical FPGA logic with formal mathematical verification for broadcast radio systems requires specialized electrical engineering and formal methods expertise.
What it would actually take: Requires writing synthesizable hardware description language (Verilog/VHDL) targeted to an FPGA and specifying formal mathematical assertions using tools like SymbiYosys or Coq/Lean. The design must handle analog/digital AM signal modulation, hardware watchdog timers, and failover states in unmanned environments. This necessitates deep expertise in RF communications, digital hardware design, and mathematical proof-based hardware verification.
Discussion
20 comments analyzed.
Competitors mentioned: SDR (Software Defined Radio) systems, FM/digital radio systems, LoRa, VLF/LF communication systems
Concerns raised: Physics feasibility - wavelengths too long to resonate in typical tunnel dimensions, No documented accidents in CDC Mine Accidents Database despite claims, Unclear use case - who receives unmanned tunnel broadcasts, AM radios becoming obsolete/rarely used, Automatic restart unacceptable failure mode for emergency systems
Feature requests: Use case documentation/summary in README, Polyphase channelizer for carrier frequency generation instead of 12 NCOs, Redundant system with alarm if primary system fails
Competitors
Other products that read as similar to this one — 574 launches clear the similarity bar, closest 8 shown.
Attention rank: #90 of 575 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 110 days after the earliest competitor.
- turnrelay · github · 2026-09-14 · 8 upvotes · similarity 0.54
- Mezz, a curl-able WiFi sandbox for IoT pentesting · hn · 2026-05-15 · 40 upvotes · similarity 0.53
- amt-tools · github · 2026-09-14 · 15 upvotes · similarity 0.52
- SIEMatic, a fair-sourced observability and security platform · hn · 2026-08-04 · 9 upvotes · similarity 0.51
- SignalCend · hn · 2026-02-27 · 5 upvotes · similarity 0.51
- Qevoryx · github · 2026-09-12 · 7 upvotes · similarity 0.51
- Reverse-engineered the FPGA bitstream using Claude Code · hn · 2026-04-06 · 6 upvotes · similarity 0.50
- bc250-autotune · github · 2026-09-10 · 12 upvotes · similarity 0.50
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a hardware & robotics tool for Horizontal yet.