SGER: Understanding Unreliable Computation: Theory and Practice

CCF -0635205题目：理解不可靠计算：理论与实践PI：Mohanram，KartikInst：William Marsh Rice大学摘要低可靠性和性能可变性是未来电子技术的固有特征，并成为这些令人兴奋的技术替代品在商业上取得成功的潜在障碍。拟议的研究涉及使用不可靠电路计算的理论和实践的补充研究。它建议调查（一）信息理论，电路结构独立的限制计算中存在的噪声和（ii）技术可靠性估计是准确的，强大的，可扩展的设计复杂性。本研究的成果将有助于弥合理论和实践之间的差距差距的可靠计算使用噪声电路。除了推进容错设计，这将有助于我们理解布尔电路的能力，并提供电路可以可靠运行的最大速率的度量。因此，所提出的研究有可能进一步我们的可靠性和鲁棒性的电路设计的理论和实践的理解，并加速进化到新的计算范式。这一努力产生的模型和软件将在更广泛的研究界具有重要的科学价值，并建议开发用于分发的资源。通过（一）在纳米电子学的介绍性本科班和（二）研究生班，深入研究将定义第一代纳米计算系统的技术，建议提高认识和理解超越传统的内部和跨学科的界限。

CCF - 0635205Title: Understanding Unreliable Computation: Theory and PracticePI: Mohanram, KartikInst: William Marsh Rice UniversityABRSTRACTLow reliability and performance variability are intrinsic to future electronic technologies, and loom large as potential show-stoppers to the commercial success of these exciting technology alternatives. The proposed research involves complementary research in the theory and practice of computation using unreliable circuits. It is proposed to investigate (i) information-theoretic, circuit-structure-independent limits for computation in the presence of noise and (ii) techniques for reliability estimation that are accurate, robust, and scalable with design complexity. The outcomes of this research will help bridge the gap between the theory and practice of reliable computation using noisy circuits. Besides advancing fault-tolerant design, this will contribute to our understanding of the capacity of Boolean circuits and provide metrics for the maximum rate at which circuits can be operated reliably. The proposed research thus has the potential to further our understanding of the theory and practice of reliable and robust circuit design, and accelerate the evolution to new computing paradigms. The models and software resulting from this effort will have significant scientific value within the broader research community, and it is proposed to develop resources for their distribution. Through (i) an introductory undergraduate class in nano-electronics and (ii) a graduate class that delves into the technologies that will define the first generation of nano-computing systems, it is proposed to enhance awareness and understanding beyond traditional intra- and inter-disciplinary boundaries.