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

(llama.gs)

1 points | by major4x 11 hours ago ago