毫无疑问，国产芯片已经迎来春天。
蔡少伟表示，EDA 集成电路设计自动化软件，整条链很长，而不是单个的软件。在 EDA 软件中，其底层需要一些计算引擎，而主要的计算引擎就是 SAT 求解器。
在 EDA 各个环节中，包括逻辑综合、物理实现，以及中间的验证、仿真测试都会用到 SAT 求解器。
SAT 的全称是布尔可满足性问题。给定一个布尔公式或称为命题逻辑公式（即用与或非等布尔逻辑运算连接布尔变量的公式），判定是否存在一组赋值使得公式取值为真。
一般情况下，SAT 求解方法可以分为两类：完备算法和不完备算法。完备算法是指算法结束时确保正确判定；不完备算法是指争取短时间内找到解。
傅强表示，在后摩尔时代中，芯片设计环节必须得到革命性的变革和发展，而未来的数字化系统是由“系统+算法+软件+芯片”深度融合集成的。系统应用的创新对芯片产生了更多的定制化需求，现在EDA的发展速度越来越跟不上芯片设计规模和需求的快速增长，我们必须研究和发展下一代的EDA 2.0技术并构建面向未来的全新生态。
面向未来的EDA 2.0有三大关键技术路径：
开放和标准化
自动化和智能化
平台化和服务化
EDA 2.0的目标是要让系统工程师和软件工程师都能参与到芯片设计中来，解决设计难、人才少、设计周期长、设计成本高企的问题，用智能化的工具和服务化的平台来缩短从芯片需求到应用创新的周期。
傅强表示，EDA 2.0不再是工具的组合，而是一个服务化、可定制的完整平台，可以直接服务不同的应用需求，支持其快速设计和部署芯片产品，实现更高效更简单的应用创新周期，让芯片设计更简单、更普惠。
龙芯中科总裁助理彭飞：龙芯指令系统的自主与兼容
CPU 是一个复杂系统，在我们国家追求自主性的过程中，牵涉到三个维度的自主性，包括基于自主 IP 核的芯片设计、基于自主指令系统的软件生态，以及基于自主材料设备的生产工艺。
一个芯片里集成大量的 IP 核，IP 核是否自主设计是最基础的维度。指令集系统承载着软件生态，软件生态控制着产业体系，而产业体系是最大的卡脖子环节，基于国外指令集不可能发展自主的信息产业体系。由此，自主性显得十分重要。
由 dawei
【声明】：毕节站长网内容转载自互联网，其相关言论仅代表作者个人观点绝非权威，不代表本站立场。如您发现内容存在版权问题，请提交相关链接至邮箱：bqsm@foxmail.com，我们将及时予以处理。