SPX: Collaborative Research: Automated Synthesis of Extreme-Scale Computing Systems Using Non-Volatile Memory

该项目研究了可扩展计算基础设施的设计，该基础设施使用纳米级非易失性存储器（NVM）设备进行存储和计算。该项目的新颖之处是（i）使用通过NVM交叉开关中自然发生的潜路径的多个并行电流进行计算;（ii）用自动合成技术取代缓慢的有机专家驱动的基于流的计算设计的发现，以加速新的NVM交叉开关设计的发现;以及（iii）在整个精确的、近似的和随机的基于流的计算设计的设计中对容错的普遍关注。该项目的影响是（i）设计端到端框架，将用高级编程语言编写的计算密集型内核映射到纳米级NVM交叉开关设计上，以及（ii）创建新的可扩展功能，以执行精确和近似的计算在容易出错的纳米级NVM交叉开关上进行内存中数字计算。计算机科学家和纳米科学研究人员团队正在为四个基准问题创建基于流的计算设计：费曼大奖问题，计算机视觉，基本线性代数和动力系统模拟。自动合成的NVM交叉开关设计正在现代纳米技术实验室中使用高性能模拟和实验基准进行评估。使用通过存储在纳米级交叉开关中的数据的多个并行电流的计算通常是快速且更节能的，但是这种交叉开关的设计对于人类设计者来说是非常不直观的。该项目探讨了检查布尔公式可满足性的形式化方法和人工智能技术（如最佳优先搜索）的组合，以自动合成NVM交叉开关设计，这些设计来自以高级编程语言编写的规范。计算机科学家和纳米科学研究人员的团队正在追求一个变革性的议程，通过利用NVM交叉开关中的存储器设备作为结构约束的易出错分布式数据纳米存储，并利用通过NVM交叉开关的电流的自然并行流动来计算存储在分布式纳米存储中的数据。从OpenCV，LAPACK和ODEINT程序生成的NVM交叉开关设计使用Xyce电路仿真软件进行评估，随后制造实验基准。通过在同一设备上结合存储和计算，该项目绕过了处理器和存储器之间的冯·诺依曼屏障，并为故障时的极端规模计算创建了可扩展的解决方案，该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查进行评估，被认为值得支持的搜索.

The project investigates the design of a scalable computing infrastructure that uses nanoscale non-volatile memory (NVM) devices for both storage and computation. The project's novelties are (i) the use of multiple parallel flows of current through naturally occurring sneak paths in NVM crossbars for computation; (ii) the replacement of slow organic expert-driven discovery of flow-based computing designs by automated synthesis techniques for accelerated discovery of novel NVM crossbar designs; and (iii) a pervasive focus on fault-tolerance throughout the design of exact, approximate and stochastic flow-based computing designs. The project's impacts are (i) the design of an end-to-end framework that maps compute-intensive kernels written in a high-level programming language onto nanoscale NVM crossbar designs and (ii) the creation of a new scalable capability to perform exact and approximate in-memory digital computations on fault-prone nanoscale NVM crossbars. The team of computer scientists and nanoscience researchers is creating flow-based computing designs for four benchmark problems: the Feynman grand prize problem, computer vision, basic linear algebra, and simulation of dynamical systems. The automatically synthesized NVM crossbar designs are being evaluated using high-performance simulations and experimental benchmarking in a modern nanotechnology laboratory. Computing using multiple parallel flows of current through data stored in nanoscale crossbars is often fast and more energy-efficient, but the design of such crossbars is highly unintuitive for human designers. The project explores a combination of formal methods for checking satisfiability of Boolean formulae, and artificial intelligence techniques such as best-first search, to automatically synthesize NVM crossbar designs from specifications written in a high-level programming language. The team of computer scientists and nanoscience researchers is pursuing a transformative agenda for extreme-scale computing by leveraging memory devices in NVM crossbars as structurally-constrained fault-prone distributed nano-stores of data, and exploiting the natural parallel flow of current through NVM crossbars for computing over data stored in the distributed nano-stores. The NVM crossbar designs generated from OpenCV, LAPACK, and ODEINT programs are evaluated using the Xyce circuit simulation software and subsequently fabricated for experimental benchmarking. By combining storage and computation on the same device, the project circumvents the von Neumann barrier between the processor and the memory and creates scalable solutions for extreme-scale computing on fault-prone NVM crossbars without introducing substantial changes to the programming model.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.