An artificial intelligence approach to multi-level mixed-mode qualitative simulation of CMOS ICs

Abstract Multi-level circuit simulators have been developed by researchers to reduce the simulation complexity for ICs manufactured by VLSI and beyond technologies. The main problems with these simulators have been the identification of sub-circuits which is usually left to the user and the communication between different levels for increased efficiency. We have developed a multi-level simulator which is capable of generating the sub-circuit blocks appropriate for the simulator being used from a device-level circuit description and uses qualitative simulation approaches. The use of qualitative simulator facilitates the transfer of information between digital and analog blocks. Our simulator uses three different simulation levels; gate-level, switch-level, and device-level. The amount of data transferred between different levels are analyzed for test circuits which require simulation at all three levels. Simulation results are also presented for test circuits for verification.

[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..