Temporal Computing With Superconductors
Temporal Computing With Superconductors
复制标题
DOI：
10.1109/mm.2021.3066377
复制
发表时间：
2021-05-01
期刊：
影响因子：
3.6
通讯作者：
Sherwood, Timothy
中科院分区：
文献类型：
--
作者：
Tzimpragos, Georgios;Volk, Jennifer;Sherwood, Timothy
创建能够满足我们不断增长的需求的计算系统，特别是当我们达到CMOS晶体管缩放的尽头时，将需要真正新颖的计算方法。然而，传统的逻辑抽象和我们所熟知的数字设计模式已经与体现它们的硬件技术共同发展。当我们回顾CMOS时，没有理由认为这些相同的抽象最适合封装新兴设备固有的计算潜力。我们认为，一个新的，从根本上更有效的计算基础在于超导体电子学和延迟编码计算的交叉点。最近的工作在种族逻辑的基础上，我们表明，超导电路可以自然地直接计算脉冲到达之间的时间关系;这些脉冲到达之间的计算关系可以通过功能扩展到验证社区中使用的时间谓词逻辑来形式化;以及由此产生的架构可以异步操作，并描述真实的和有用的计算。我们验证了我们的假设，通过结合详细的模拟电路模型和布局设计，我们的抽象的正式分析，和几个超导时间加速器的评估。
Creating computing systems able to address our ever-increasing needs, especially as we reach the end of CMOS transistor scaling, will require truly novel methods of computing. However, the traditional logic abstractions and the digital design patterns we understand so well have coevolved with the hardware technology that has embodied them. As we look past CMOS, there is no reason to think that those same abstractions best serve to encapsulate the computational potential inherent to emerging devices. We posit that a new and radically more efficient foundation for computing lies at the intersection of superconductor electronics and delay-coded computation. Building on recent work in race logic, we show that superconducting circuits can naturally compute directly over temporal relationships between pulse arrivals; that the computational relationships between those pulse arrivals can be formalized through a functional extension to a temporal predicate logic used in the verification community; and that the resulting architectures can operate asynchronously and describe real and useful computations. We verify our hypothesis through a combination of detailed analog circuit models and layout designs, a formal analysis of our abstractions, and an evaluation of several superconducting temporal accelerators.