By Topic

A Rule-Based System for Optimizing Combinational Logic

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
de Geus, A.J. ; General Electric Microelectronics Center ; Cohen, W.

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 inserts them into the knowledge base. Timing constraints placed on the circuit can be modified to allow the designer to explore a large design space in a matter of minutes. Implementations generated by the system are comparable in area and speed to circuits designed by experts.

Published in:

Design & Test of Computers, IEEE  (Volume:2 ,  Issue: 4 )