Show HN: Open-source logic synthesis – formal logic to FPGA
llama.gsHappy to answer questions about the architecture, the QBF synthesis approach, or the FPGA implementation. Repos: https://gitlab.llama.gs/logic
No comments yet.
Happy to answer questions about the architecture, the QBF synthesis approach, or the FPGA implementation. Repos: https://gitlab.llama.gs/logic
No comments yet.