Show HN: Open-source logic synthesis – formal logic to FPGA
Happy to answer questions about the architecture, the QBF synthesis approach, or the FPGA implementation. Repos: https://gitlab.llama.gs/logic
(
no comments
| on HN
)
There are no comments yet.