SOCRATES: A system for automatically synthesizing and optimizing combinational logic

Authors:
D. Gregory;K. Bartlett;A. deGeus;G. Hachtel
Affiliations:
GE Calma Company Research Triangle Park, North Carolina;Department of Electrical Engineering University of Colorado at Boulder;GE Calma Company Research Triangle Park, North Carolina;Department of Electrical Engineering University of Colorado at Boulder
Venue:
25 years of DAC Papers on Twenty-five years of electronic design automation
Year:
1988

Citing 2
Cited 1

Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis
A Knowledge-Based Logic Design System

IEEE Design & Test

Avoiding game over: bringing design to the next level

Proceedings of the 49th Annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract