Symbolic Techniques for Evaluating Complex Custom Circuits

这项研究的重点是开发用于时序和可靠性分析的符号公式，这些公式可以以高效、经济的方式处理各种定制设计的复杂电路。这种符号方法能够处理任何任意电路结构，并允许将有关电路功能操作的信息合并到分析中的有效方法。正在探索两个领域：(1)正在开发符号算法来分析由于泄漏电流和电荷共享等原因引起的电噪声问题。为了提高精度，分析受到时间和输入条件的限制。基于该分析的结果，电路可能被标记为违反设计或自动重新设计以提高电气可靠性。(2)推导了计算通过沟道连接区(CCR)的延迟的符号公式。这些公式将处理几乎所有常用的数字电路系列，以及处理多输入转换和接受任意输入排他性约束。这项工作的目标是开发一种有效的方法来识别问题电路以进行进一步分析，同时避免使用其他更昂贵的模拟技术来验证许多无法实现的最坏情况。

This research focuses on the development of symbolic formulations for timing and reliability analysis that can handle a wide range of custom-designed, complex circuits in an efficient, cost-effective manner. This symbolic approach enables handling of any arbitrary circuit structure and allows for an efficient means of incorporating information on the functional operation of the circuit into the analysis.Two areas are being explored: (1) Symbolic algorithms are being developed to analyze electrical noise problems due to such things as leakage currents and charge sharing. To improve accuracy, the analysis is constrained by timing and input conditions. Based on the results of this analysis, circuits may be flagged for design violations or automatically re-designed to improve electrical reliability. (2) Symbolic formulations to calculate the delay through a channel-connected region (CCR) of CMOS devices are be developed. These formulations will handle nearly all commonly-used digital circuit families, as well as handle multiple inputs transitioning and accept arbitrary input-exclusivity constraints. The goal of this work is to develop an efficient means to identify problem circuits for further analysis while avoiding the need to verify many non-realizable worst-case conditions with other more costly simulation techniques.