caa a22 4500 477096999 CHVBK 20180405111530.0 cr unu---uuuuu 170330e19961101xx s 000 0 eng 10.1007/BF01190129 doi (NATIONALLICENCE)springer-10.1007/BF01190129 Wawryn Krzysztof Technical University of Koszalin, ul. Raclawicka 15-19, 75-620, Koszalin, Poland aut A formal language description and inference strategy for analog circuit design [Elektronische Daten] [Krzysztof Wawryn] This article deals with a new intelligent analog circuit design system. Unlike previous design methods, this approach introduces a formal circuit representation for both the numerical and heuristic knowledge of the design system. The predicate logic circuit representation is proposed as a new formal analog circuit description language. The language's syntax and semantics provide a precise symbolic description of analog circuit functionality at higher levels of hierarchy and network component connectivities, together with CMOS transistor sizes as the lowest level of hierarchy. It is shown how sentence conversion rules of language grammer can be used to derive transistor level circuits from input performance specifications. Language sentences have the form of clauses. In addition to clause representation, a frame representation to reflect VLSI design hierarchy is also introduced. An original bidirectional inference mechanism with elements of hypothesis has been introduced to infer designs from the knowledge in clause and frame representations. The unique feature of this circuit knowledge representation is its ability to automate the analog CMOS circuit design process. The design methodology is described in detail. The proposed iterative closed loop design system adopts an expert system approach to provide topological synthesis, uses a SPICE circuit simulator to evaluate the circuit performance, and uses a new diagnostic expert system to provide advice on how to improve the design. The implementation of the methodology and associated experimental results for simple CMOS operational amplifier designs are also presented. Birkhäuser, 1996 Circuits, Systems and Signal Processing Birkhäuser-Verlag 15/6(1996-11-01), 771-805 0278-081X 15:6<771 1996 15 34 https://doi.org/10.1007/BF01190129 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01190129 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Wawryn Krzysztof Technical University of Koszalin, ul. Raclawicka 15-19, 75-620, Koszalin, Poland aut NATIONALLICENCE 773 0- Circuits, Systems and Signal Processing Birkhäuser-Verlag 15/6(1996-11-01), 771-805 0278-081X 15:6<771 1996 15 34 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer