The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (1985 vol.2)
pp: 22-32
Aart De Geus , General Electric Microelectronics Center
William Cohen , General Electric Microelectronics Center
ABSTRACT
SOCRATES is a rule-based expert system that optimizes combinational logic for a specific target technology. The system performssubstitutions of equivalent gate configurations, thereby reducing the overall area of the implementation and improving thespeed of the design. A control mechanism uses various backup strategies to choose the rules applied to the circuit. Userscan easily extend the library of transformation rules through a rule generation module that automatically encodes rules andinserts them into the knowledge base. Timing constraints placed on the circuit can be modified to allow the designer to explorea large design space in a matter of minutes. Implementations generated by the system are comparable in area and speed to circuitsdesigned by experts.
INDEX TERMS
null
CITATION
Aart De Geus, William Cohen, "A Rule-Based System for Optimizing Combinational Logic", IEEE Design & Test of Computers, vol.2, no. 4, pp. 22-32, July/August 1985, doi:10.1109/MDT.1985.294719
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool