Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis

在快速发展的数字世界中，创建高性能和高效的计算机硬件至关重要。电子设计自动化（EDA），一个自动化和优化硬件设计的过程，随着复杂性的不断增加变得更加重要和具有挑战性。这个项目介绍了一种新的EDA方法，通过混合形式化方法，机器学习和并行计算来解决电路优化问题。这项拟议中的研究旨在改变计算机芯片的制造方式，使设计过程更快，更便宜，更具适应性。研究结果和工具将公开提供，以促进多学科社区的技术转让和产业-学术界互动。研究结果和工具将公开提供，以支持技术转让和工业界与学术界在多学科社区中的互动。这项工作还将包括积极参与教育和劳动力发展的举措，涉及高中生和学生代表性不足的groups.In解决现有的合成解决方案的固有局限性，如不利的速度质量权衡和利用领域知识的可扩展性，提出的研究介绍了一种新的策略，结合正式的技术与基于学习的优化。具体来说，研究采取了一种完全不同的方法，通过创建微分硬件合成技术，非常适合异构计算。关键策略包括将形式化技术与基于学习的优化相结合，这有助于有效的全局优化，无论是否需要训练数据，同时利用图形处理单元（GPU）等并行计算设备的计算能力。这种新方法与传统方法的区别在于，它能够通过并行计算资源扩展全局优化，以及它有潜力联合收割机结合其他机器学习模型，通过反向传播实现数据驱动的优化。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

In the rapidly evolving digital world, creating high-performance and efficient computer hardware is crucial. Electronic design automation (EDA), a process that automates and optimizes the design of hardware, becomes even more critical and challenging with the ever-increasing complexity increases. This project introduces a novel approach to EDA, by solving circuit optimization problems with a blend of formal methods, machine learning, and parallel computing. This proposed research aims to transform the way computer chips are made, making the design process faster, less expensive, and more adaptable. The research findings and tools will be made publicly available to facilitate technology transfers and industry-academia interactions in a multidisciplinary community. The research findings and tools will be made publicly available to support technology transfers and interactions between industry and academia in a multidisciplinary community. This effort will also include active participation in educational and workforce development initiatives, involving high-school students and students from underrepresented groups.In addressing the inherent limitations of existing synthesis solutions, such as unfavorable speed-quality trade-offs and inflexibility in leveraging domain knowledge, the presented research introduces a novel strategy that combines formal techniques with learning-based optimization. Specifically, the research takes a radically different approach by creating differentiable hardware synthesis techniques that are well-suited for heterogeneous computing. The key strategy involves the combination of formal techniques with learning-based optimization, which facilitates efficient global optimization, with or without the need for training data, while taking advantage of the computational power of parallel computing devices like graphics processing units (GPUs). This new approach distinguishes itself from conventional methods by its ability to scale global optimization through parallel computing resources, as well as its potential to combine other machine learning models to enable data-driven optimization via back-propagation. The developed algorithms and software will be made open-source and publicly accessible with comprehensive tutorials and educational materials.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.