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

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com)

52 points by anonymoosestdnt 7 hours ago | 17 comments

Loading...