logic synthesis benchmarks 开源项目推荐

logic synthesis benchmarks 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。