Show HN: Open-source logic synthesis – formal logic to FPGA

(llama.gs) by major4x | Mar 27, 2026 | 0 comments on HN