Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Show HN: Open-source logic synthesis – formal logic to FPGA | Better HN
Show HN: Open-source logic synthesis – formal logic to FPGA
(opens in new tab)
(llama.gs)
1 points
major4x
1mo ago
0 comments
Share
Happy to answer questions about the architecture, the QBF synthesis approach, or the FPGA implementation. Repos:
https://gitlab.llama.gs/logic
0 comments
No comments yet.
