A Rule-Based System for Optimizing Combinational Logic

Authors:
Aart De Geus;William Cohen
Affiliations:
General Electric Microelectronics Center;General Electric Microelectronics Center
Venue:
IEEE Design & Test
Year:
1985

Citing 0
Cited 3

Alis: a light-weight logic synthesis for digital signal processing of audio visual

IVC '95 Proceedings of the 4th IEEE International Verilog HDL Conference
ODDIN: Ontology-driven differential diagnosis based on logical inference and probabilistic refinements

Expert Systems with Applications: An International Journal
iCOACH: A circuit optimization aid for CMOS high-performance circuits

Integration, the VLSI Journal

Quantified Score

Hi-index	0.00

Visualization

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.