Show HN: Open-source logic synthesis – formal logic to FPGA | Dark Hacker News