Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

Article URL: https://github.com/Park07/amradio

Comments URL: https://news.ycombinator.com/item?id=47061742

Points: 35

# Comments: 7