[2/3] 我在 GitHub 的 vivado-risc-v 项目贡献者里已经排到第五位了，在定理证明领域之后勉强开辟了 FPGA 新赛道。
发布于 辽宁
田春冰河
[2/3] 我在 GitHub 的 vivado-risc-v 项目贡献者里已经排到第五位了，在定理证明领域之后勉强开辟了 FPGA 新赛道。