SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

Publisher Website

1 January 1986

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/dac.1986.1586072

Abstract

No abstract available

This publication has 9 references indexed in Scilit:

A Rule-Based System for Optimizing Combinational Logic
IEEE Design & Test of Computers, 1985
LORES-2: A Logic Reorganization System
IEEE Design & Test of Computers, 1985
A Knowledge-Based Logic Design System
IEEE Design & Test of Computers, 1985
Logic Minimization Algorithms for VLSI Synthesis
Published by Springer Nature ,1984
Multiple-Valued Decomposition of Generalized Boolean Functions and the Complexity of Programmable Logic Arrays
IEEE Transactions on Computers, 1981
Logic Synthesis Through Local Transformations
IBM Journal of Research and Development, 1981
MINI: A Heuristic Approach for Logic Minimization
IBM Journal of Research and Development, 1974
A Topological Method for the Determination of the Minimal Forms of a Boolean Function
IEEE Transactions on Electronic Computers, 1956
The Problem of Simplifying Truth Functions
The American Mathematical Monthly, 1952

Cited by 18 articles