Qualitative Analysis of MOS Circuits

Abstract With the push towards submicron technology, transistor models have become increasingly complex. The number of components in integrated circuits has forced designers' efforts and skills towards higher levels of design. This has created a gap between design expertise and the performance demands increasingly imposed by the technology. To alleviate this problem, software tools must be developed that provide the designer with expert advice on circuit performance and design. This requires a theory that links the intuitions of an expert circuit analyst with the corresponding principles of formal theory (i.e., algebra, calculus, feedback analysis, network theory, and electrodynamics), and that makes each underlying assumption explicit. Temporal qualitative analysis is a technique for analyzing the qualitative large signal behavior of MOS circuits that straddle the line between the digital and analog domains. Temporal qualitative analysis is based on the following four components: First, a qualitative representation is composed of a set of open regions separated by boundaries. These boundaries are chosen at the appropriate level of detail for the analysis. This concept is used in modeling time, space, circuit state variables, and device operating regions. Second, constraints between circuit state variables are established by circuit theory. At a finer time scale, the designer's intuition of electrodynamics is used to impose a causal relationship among these constraints. Third, large signal behavior is modeled by transition analysis, using continuity and theorems of calculus to determine how quantities pass between regions over time. Finally, feedback analysis uses knowledge about the structure of equations and the properties of structure classes to resolve ambiguities.

[1]  Reid G. Simmons The Use of Qualitative and Quantitative Simulations , 1983, AAAI.

[2]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[3]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[4]  H. Shichman,et al.  Modeling and simulation of insulated-gate field-effect transistor switching circuits , 1968 .

[5]  Gerald Jay Sussman,et al.  Propagation of constraints applied to circuit synthesis , 1980 .

[6]  H. H. Richardson,et al.  Introduction to system dynamics , 1967 .

[7]  Scott Cyphers Programming Cliches and Cliche Extraction , 1982 .

[8]  Johan de Kleer,et al.  The Origin, Form, and Logic of Qualitative Physical Laws , 1983, IJCAI.

[9]  中園 薫 A Qualitative Physics Based on Confluences , 1986 .

[10]  Guy L. Steele,et al.  The definition and implementation of a computer programming language based on constraints , 1980 .

[11]  Daniel G. Bobrow,et al.  Qualitative Reasoning With Higher-Order Derivatives , 1989, AAAI.

[12]  Benjamin Kuipers,et al.  Getting the Envisionment Right , 1982, AAAI.

[13]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[14]  Brian C. Williams,et al.  The Use of Continuity in a Qualitative Physics , 1984, AAAI.

[15]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[16]  Johan de Kleer,et al.  Causal and Teleological Reasoning In Circuit Recognition , 1979 .

[17]  James J. Cherry,et al.  A One Transistor RAM for MPC Projects , 1981 .

[18]  Kenneth D. Forbus Measurement Interpretation in Qualitative Process Theory , 1983, IJCAI.

[19]  Jon Doyle,et al.  AMORD: A Deductive Procedure System , 1978 .

[20]  Daniel C. Brotsky Program Understanding through Cliché Recognition , 1981 .