Hacker News new | ask | show | jobs
Show HN: Open-source logic synthesis – formal logic to FPGA (llama.gs)
1 points by major4x 81 days ago
Happy to answer questions about the architecture, the QBF synthesis approach, or the FPGA implementation. Repos: https://gitlab.llama.gs/logic