Show HN: Open-source logic synthesis – formal logic to FPGA

(llama.gs)

1 points | by major4x 12 hours ago ago