02659nab a22002537i 4500 KOSZ 005 20170303120732.0 160308s1996 ||||| ||||0|| ||eng PBN-R:351380 KOSZ 005/md PBN-ID eng eng WAWRYN, Krzysztof. 1996 - . Politechnika Koszalińska - Wydział Elektroniki, Katedra Systemów Cyfrowego Przetwarzania Sygnałów A formal language description and inference strategy for analog circuit design / Krzysztof Wawryn. 1996. 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 grammar 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. Elektronika. Electronics. Computer science – field of technical sciences. Original article. Oryginalny artykuł naukowy. Informatyka – dziedzina nauk technicznych. W: Circuits Systems and Signal Processing. - 0278-081X Birkhauser Boston Inc. - 1996, Vol. 15, no. 6, s. 771-805. ART UKD 7844 7844