Issue No. 06 - June (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.142874
<p>The knowledge representation and reasoning strategies in an automatic program synthesis architecture called ELF are described. ELF synthesizes computer-aided design (CAD) tools that automatically route wires in VLSI circuits. The design space ELF confronts, requires it to understand various physical technologies, to select an appropriate procedure-level decomposition, to choose algorithms and data structures, to manage any interdependencies, and to generate efficient code. ELF manages the design space using a variety of knowledge sources, including domain-specific knowledge. The manner in which knowledge is used determines the representation method of choice. The effectiveness of these ideas is illustrated via a tour through the synthesis steps for a specific routing tool, and a brief discussion of the performance of the resulting synthetic router as measured against an industrial tool.</p>
software synthesis architecture; knowledge representation; reasoning strategies; automatic program synthesis architecture; ELF; computer-aided design; VLSI circuits; procedure-level decomposition; data structures; design space; domain-specific knowledge; synthetic router; automatic programming; circuit layout CAD; inference mechanisms; knowledge representation
D. Setliff and R. Rutenbar, "Knowledge Representation and Reasoning in a Software Synthesis Architecture," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 523-533, 1992.