对基于随机比特序列运算的电路的自动综合算法的研究

项目名称： 对基于随机比特序列运算的电路的自动综合算法的研究

项目编号： No.61204042

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 信息四处

项目作者： 钱炜慷

作者单位： 上海交通大学

项目金额： 24万元

中文摘要： 传统的算数运算电路都是对二进制编码的数据进行计算的。与二进制编码不同的一种数据编码方式是利用一串随机比特序列来表示一个数值。在这种编码方式下，复杂的算数运算可以通过很简单的数字电路来实现。这种编码相比于二进制编码具有很强的容错性。面对未来集成电路中器件的可靠性下降这一问题，设计基于随机编码的电路是一种潜在的解决方法。然而，现有的基于随机编码计算的电路都是人为的设计，尚没有自传动综合这类电路的算法提出。本课题将对这类电路的自动综合算法开展研究，针对组合逻辑电路与时序逻辑电路分别提出综合方法。我们将把传统的逻辑优化技术结合到概率性计算之中，开发出新的数据结构，并依此提出有效的算法来综合最优的基于随机编码计算的组合逻辑电路。同时，本课题将对时序逻辑电路在随机编码下实现的计算进行分析，把握其输入输出间的规律，提出自动综合电路的算法。我们将开发相应的计算机辅助设计软件，为设计者设计这类电路提供便捷。

中文关键词： 随机比特序列编码；随机计算；概率性计算；逻辑综合；

英文摘要： Traditional arithmetic circuits operate on numbers encoded with binary radix. An alternative to binary radix encoding is to represent a value by a stream of random bits, where the value is represented by the probability of ones in that stream. With this representation, complex arithmetic operations can be implemented with very simple digital circuits. The representation is also much more fault-tolerant than binary radix encoding. Designing circuits computing on stochastic bit streams offers a promising way to design reliable circuits with emerging unreliable nanoscale devices. However, such circuits are currently designed manually: there are no automatic ways to synthesize them. In this project, we will develop algorithms for synthesizing digital circuits operating on stochastic bit streams. We will target both combinational circuits and sequential circuits. We will explore novel data structures that combine the classic logic optimization techniques with probabilistic computation. These novel data structures will be applied to develop algorithms for synthesizing combinational circuits. We will also analyze sequential circuits operating on stochastic bit streams and study what kind of computation they can perform. We will develop methods to synthesize sequential circuits that compute on stochastic bit streams. Co

英文关键词： Stochastic Encoding；Stochastic Computing；Probabilistic Computing；Logic Synthesis；