毫无疑问，国产芯片已经迎来春天。 蔡少伟表示，EDA 集成电路设计自动化软件，整条链很长，而不是单个的软件。在 EDA 软件中，其底层需要一些计算引擎，而主要的计算引擎就是 SAT 求解器。 在 EDA 各个环节中，包括逻辑综合、物理实现，以及中间的验证、仿