A Rule-Based System for Optimizing Combinational Logic

  title={A Rule-Based System for Optimizing Combinational Logic},
  author={A. de Geus and William W. Cohen},
  journal={IEEE Design & Test of Computers},
SOCRATES is a rule-based expert system that optimizes combinational logic for a specific target technology. The system performs substitutions of equivalent gate configurations, thereby reducing the overall area of the implementation and improving the speed of the design. A control mechanism uses various backup strategies to choose the rules applied to the circuit. Users can easily extend the library of transformation rules through a rule generation module that automatically encodes rules and… Expand
89 Citations
An expert system to optimize combinational logic
RESORT: a gate-level rule-based expert system optimization with resizing and testability enhancement
  • J. S. Wang, F. Lai
  • Computer Science
  • International Symposium on VLSI Technology, Systems and Applications,
  • 1989
  • PDF
SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic
  • 136
A rule based logic reorganization system LORES/EX
  • J. Ishikawa, H. Sato, +4 authors S. Murai
  • Computer Science
  • Proceedings 1988 IEEE International Conference on Computer Design: VLSI
  • 1988
  • 13
ARENA, a rule evaluating neural assistant that performs rule-based logic optimization
  • E. Chang, M. Sekine
  • Computer Science
  • [Proceedings] 1991 IEEE International Joint Conference on Neural Networks
  • 1991
Optimizing Combinational Circuits for FPGAs using Genetic Programming
  • Highly Influenced
  • PDF


Timing Verification and the Timing Analysis Program
  • R. Hitchcock
  • Computer Science
  • 19th Design Automation Conference
  • 1982
  • 83
The VLSI Design Automation Assistant: An IBM System/370 Design
  • 20
Impact of Metarules in a Rule Based Expert System for Gate Level Optimization,
  • Proc. IEEE Int'l. Symp. on Circuits and Systems,
  • 1985
Automatic Generation ofCombinatorial Logic from a Functional Specification,
  • Proc. IEEE Int'l. Symp., Circuits and Systems,
  • 1984
The Decomposition and Factorization of Boolean Expressions,
  • Proc. Int'l. Symp. Circuits and Systems,
  • 1982
A Rule-Based Configurer of Computer Systems, tech
  • rept., Dept. ofComputer Science,
  • 1980
Experiments in Logic Synthesis,
  • Proc. IEEE 'Ift'l. Conf: Circuits and Computers,
  • 1980