An artificial intelligence approach to multi-level mixed-mode qualitative simulation of CMOS ICs
暂无分享,去创建一个
[1] David W. Franke,et al. CC: Component Connection Models for Qualitative Simulation - A User''s Guide , 1990 .
[2] Lynn Conway,et al. Introduction to VLSI systems , 1978 .
[3] Johan de Kleer,et al. Readings in qualitative reasoning about physical systems , 1990 .
[4] Randal E. Bryant,et al. A Switch-Level Model and Simulator for MOS Digital Systems , 1984, IEEE Transactions on Computers.
[5] Alberto L. Sangiovanni-Vincentelli,et al. Relaxation-based electrical simulation , 1983, IEEE Transactions on Electron Devices.
[6] Johan de Kleer,et al. A Qualitative Physics Based on Confluences , 1984, Artif. Intell..
[7] L. Nagel,et al. SPICE (Simulation Program with Integrated Circuit Emphasis) , 1973 .
[8] Benjamin J. Kaipers,et al. Qualitative Simulation , 1989, Artif. Intell..
[9] Gautam Biswas,et al. A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis , 1993, IJCAI.
[10] J. S. Brown,et al. Pedagogical, natural language, and knowledge engineering techniques in SOPHIE-I, II and III , 1982 .
[11] I. E. Getreu. Behavioral modeling of analog blocks using the Saber simulator , 1989, Proceedings of the 32nd Midwest Symposium on Circuits and Systems,.
[12] Eduard Cerny,et al. Simulation of MOS Circuits by Decision Diagrams , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[13] Kenneth D. Forbus. Qualitative physics: past present and future , 1988 .
[14] Kenneth D. Forbus. Qualitative Process Theory , 1984, Artif. Intell..