The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1992 vol.18)
pp: 523-533
ABSTRACT
<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>
INDEX TERMS
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
CITATION
D.E. Setliff, R.A. Rutenbar, "Knowledge Representation and Reasoning in a Software Synthesis Architecture", IEEE Transactions on Software Engineering, vol.18, no. 6, pp. 523-533, June 1992, doi:10.1109/32.142874
43 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool