QUALITATIVE-ANALYSIS OF MOS CIRCUITS

被引:59
作者
WILLIAMS, BC
机构
[1] MIT, Artificial Intelligence Lab,, Cambridge, MA, USA, MIT, Artificial Intelligence Lab, Cambridge, MA, USA
关键词
SEMICONDUCTOR DEVICES; MOS;
D O I
10.1016/0004-3702(84)90041-9
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:281 / 346
页数:66
相关论文
共 27 条
[1]  
ALLEN J, 1981, 97 U ROCH COMP SCI D
[2]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[3]  
BROTSKY D, 1981, AI224 MIT WORK PAP
[4]  
CHERRY J, 1981, VLSI8143 MIT MEM
[5]  
CYPHERS S, 1982, AI223 MIT WORK PAP
[6]   A QUALITATIVE PHYSICS BASED ON CONFLUENCES [J].
DEKLEER, J ;
BROWN, JS .
ARTIFICIAL INTELLIGENCE, 1984, 24 (1-3) :7-83
[7]  
DEKLEER J, 1979, THESIS MIT CAMBRIDGE
[8]  
DEKLEER J, 1984, AUG P NAT C ART INT
[9]  
DEKLEER J, 1981, COGNITIVE SKILLS THE
[10]  
DEKLEER J, 1977, AI151 MIT WORK PAP