Analog IC design automation. II. Automated circuit correction by qualitative reasoning

For pt. I see ibid., vol. 14, no. 2, p. 218-38 (1995). This part of the paper is focused on a novel application of Qualitative Reasoning, which allows modifications of a circuit's topology to take place in cases where not all performance specifications are met. Within ISAID, this task of post-simulation circuit correction is carried out by the Circuit Corrector. >

[1]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[2]  R.A. Rohrer.  Taking circuits seriously , 1990, IEEE Circuits and Devices Magazine.

[3]  Costas A. Makris.  Analogue integrated circuit design : automation and techniques , 1992 .

[4]  Christofer Toumazou,et al.  A methodology for automated generation of analogue integrated circuits , 1989 .

[5]  Kenneth D. Forbus.  Qualitative Process Theory: Twelve Years After , 1993, Artif. Intell..

[6]  C. Toumazou,et al.  ISAID: qualitative reasoning and trade-off analysis in analog IC design automation , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[7]  J. Litsios,et al.  ILAC: an automated layout tool for analog CMOS circuits , 1989 .

[8]  Christofer Toumazou,et al.  Qualitative Reasoning In Analog IC Design Automation , 1992, 1992 Proceedings of the IEEE Custom Integrated Circuits Conference.

[9]  Brian C. Williams,et al.  Qualitative Analysis of MOS Circuits , 1984, Artif. Intell..

[10]  Eric A. Vittoz,et al.  IDAC: an interactive design tool for analog CMOS circuits , 1987 .

[11]  Rob A. Rutenbar,et al.  Analog circuit synthesis and exploration in OASYS , 1988, Proceedings 1988 IEEE International Conference on Computer Design: VLSI.

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

[13]  D. Bobrow.  Qualitative Reasoning about Physical Systems , 1985 .

[14]  Johan de Kleer,et al.  How Circuits Work , 1984, Artif. Intell..