Automated synthesis of crossbars for nanoscale computing using formal methods
Automated synthesis of crossbars for nanoscale computing using formal methods
复制标题
使用形式化方法自动合成用于纳米级计算的交叉开关
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Sumit Kumar Jha
中科院分区：
文献类型：
--
作者：
Alvaro Velasquez;Sumit Kumar Jha
自2008年HP Labs制造纳米级备忘录以来，人们一直对使用纳米级备忘录的横梁进行数字存储和神经形态计算引起了人们的持续兴趣。但是，在使用横杆进行通用使用计算时，尚未复制同样的成功，这些计算可以支持最初为von Neumann架构设计的现有软件基础架构。纳米级先进者横梁面临的基本挑战之一是偷偷摸摸的道路的存在。已经显示，偷偷摸摸的路径可用于在横梁中执行布尔计算。但是，人类的思想很容易被横杆中可能出现的大量潜行路径所淹没。毫不奇怪，手动设计的横杆的大小对于实际应用来说太大了。在本文中，我们演示了如何使用正式方法来自动合成紧凑型横杆设计，这些横杆设计采用了偷偷摸摸的路径现象作为一种基本设计来评估布尔公式。
Since the fabrication of nanoscale memristors by HP Labs in 2008, there has been a sustained interest in the use of crossbars of nanoscale memristors for digital storage and neuromorphic computing. However, the same success has not been replicated in the use of crossbars for performing generalpurpose computations that can support the existing software infrastructure originally designed for von Neumann architectures. One of the fundamental challenges facing the exploitation of nanoscale memristor crossbars is the existence of sneak paths. It has been shown that sneak paths can be used to perform Boolean computations in crossbars. However, the human mind can be easily overwhelmed by the large number of sneak paths that may arise in a crossbar. It is not surprising that the size of manually-designed crossbars has been too large for practical applications. In this paper, we demonstrate how formal methods can be used to automatically synthesize compact crossbar designs that employ the sneak paths phenomena as a fundamental design primitive to evaluate Boolean formula.