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

[anonymoosestdnt]

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

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

Points: 51

# Comments: 15