Show HN: Open-source logic synthesis – formal logic to FPGA(llama.gs)
llama.gs
Show HN: Open-source logic synthesis – formal logic to FPGA
https://llama.gs/blog/index.php/2026/03/27/the-synthesis-problem-why-im-building-a-new-logic-toolchain/
Happy to answer questions about the architecture, the QBF synthesis approach, or the FPGA implementation. Repos: https://gitlab.llama.gs/logic
0 comments
—