An exhaustive generation of switched-capacitor circuits: a symbolic simulation and artificial intelligence approach

The authors propose a mixed algorithmic-declarative method to solve a problem of structure generation. They demonstrate the usefulness of the declarative language PROLOG in comparison with classical procedural languages and show the importance of symbolic network simulators in this context. This method has been applied to practical problems in the domain of switched-capacitor circuits. SCYMBAL, a symbolic simulator for switched-capacitor circuits, has been used for that purpose. Results obtained in the case of the systematic generation of new integrator structures for high-frequency use are presented. The proposed method can be extended to different classes of analog circuits, for example, RC-filters, microwave circuits, and A/D converters.<>