Symbolic simulation: a new approach to automated electronic circuit design

Presents a methodology for the generation of circuit structures using artificial intelligence concepts and symbolic simulation tools. A mixed declarative-algorithmic approach is used for circuit-architecture selection. The usefulness of the declarative languages Prolog, in comparison with classical procedural languages, is pointed out for such an approach. A practical example is given in the domain of mixed analog-digital silicon or gallium arsenide integrated circuits, concerning the generation of integrator building blocks for high frequency applications. This study was executed with SCYMBAL, the symbolic simulator for switched-capacitor networks.<
>