CCF-BSF:SHF: Small: Timing Validation for Asyncronous Circuits

在先进材料、纳米制造和数字计算的研究和开发的推动下，低成本、高性能和低功耗的电子元件产生了智能手机、无线连接、高吞吐量网络、廉价的数据中心，仅举几个我们现代数字经济的方面。然而，随着当前技术接近物理定律设定的极限，性能和能效的提高不再是传统技术所能实现的。至关重要的是，对不同的学生群体进行非传统方法的培训，以便他们能够将新想法作为半导体行业的一部分进行实践，并继续过去几十年的惊人增长，即摩尔定律。异步电路和系统设计，将在这个项目中进行，是作为提高计算效率的一种方法而被研究的一种非常规方法。该项目还与以色列双国科学基金会(BSF)合作，利用互补的研究专业知识。自动时序验证是数字电路物理实现的关键组件。时序验证确保电路的物理实现与设计者的意图一致，尽管制造过程引入了不确定性和限制。定时验证需要两个组件：数学基础，以及通过实现数学实现验证过程的软件。这项工作的目标是开发这两个组件，用于异步电路的时序验证。该项目将来自两个不同学科的专业知识投入到这项工作中：(I)异步电路设计和实现，以及(Ii)异步分布式系统理论。该项目将分布式系统文献中的潜在因果关系的概念应用到异步电路的上下文中。这两个学科的见解和技术的融合有望促进更好地设计快速和节能的电路，并改进验证和验证基于它们构建的系统的正确性的技术。

Enabled by research and development in advanced materials, nano-manufacturing, and digital computation, low-cost, high-performance, and low-power electronic components have yielded smart-phones, wireless connectivity, high-throughput networks, inexpensive data centers, to just name a few aspects of our modern digital economy. However, as the current technology approaches limits set by the laws of physics, gains in performance and power efficiency are no longer realizable through conventional techniques. It is critical that a diverse group of students be trained in unconventional approaches, so that they can take new ideas to practice as part of the semiconductor industry and continue the phenomenal growth of the past decades known as the Moore's law. Asynchronous circuits and systems design, to be pursued in this project, is one such unconventional approach being studied as a way to improve computational efficiency. The project also collaborates with the Binational Science Foundation (BSF) of Israel to leverage complementary research expertise.Automated timing validation is a critical component in physical realization of a digital circuit. Timing validation ensures that the physical implementation of the circuit is consistent with the intent of the designer, in spite of the uncertainties and constraints introduced by the manufacturing process. Two components are necessary for timing validation: a mathematical foundation, and software that realizes the validation process by implementing the mathematics. The goal of this effort is to develop these two components for the timing validation of asynchronous circuits. The project brings expertise from two different disciplines to bear on this effort: (i) asynchronous circuit design and implementation, and (ii) the theory of asynchronous distributed systems. The project adapts the concept of potential causality from the distributed systems literature to the context of asynchronous circuits. The fusion of insights and techniques from the two disciplines promises to facilitate better design of fast and energy-efficient circuits, as well as improving the techniques for validating and verifying the correctness of systems built from them.