Issue No. 04 - July/August (1985 vol. 2)
Aart De Geus , General Electric Microelectronics Center
William Cohen , General Electric Microelectronics Center
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.
Aart De Geus, William Cohen, "A Rule-Based System for Optimizing Combinational Logic", IEEE Design & Test of Computers, vol. 2, no. , pp. 22-32, July/August 1985, doi:10.1109/MDT.1985.294719