Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing
Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing
复制标题
用于内存计算的基于自由二元决策图的紧凑交叉开关综合
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Sumit Kumar Jha
中科院分区：
文献类型：
--
作者：
Amad Ul Hassen;Dwaipayan Chakraborty;Sumit Kumar Jha
我们介绍了一种新的计算机辅助设计方法，该方法基于自由二元决策图（FBDD），用于使用基于流的计算在十字交叉开关上实现布尔函数。我们的交叉开关合成过程使用广义FBDD来设计用于布尔公式的交叉开关，使得当且仅当布尔公式评估为真时，电流通过交叉开关中的潜路径从输入纳米线流动到输出纳米线。广义FBDD比传统的降序二元决策图（ROBDD）更简洁地表示布尔公式，因为它们不需要沿着决策图的沿着所有路径的相同变量排序。我们的实验结果与乘法器的中间位表明，我们的设计是69.9%更简洁，比基于流的交叉开关计算方法使用ROBDD设计。
We introduce a new computer-aided design approach based on free binary decision diagrams (FBDDs) for implementing Boolean functions on crossbars using flow-based computing. Our crossbar synthesis procedure uses generalized FBDDs to design crossbars for a Boolean formula such that there is a flow of current from an input nanowire to an output nanowire through the sneak paths in the crossbar if and only if the Boolean formula evaluates to true. Generalized FBDDs are more succinct representations of Boolean formulas than traditional reduced ordered binary decision diagrams (ROBDDs) because they do not require the same variable ordering along all paths of the decision diagram. Our experimental results with the middle bit of a multiplier show that our designs are 69.9% more succinct than flow-based crossbar computing approaches designed using ROBDDs.