A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
SOCRATES: A system for automatically synthesizing and optimizing combinational logic
1988
Papers on Twenty-five years of electronic design automation - 25 years of DAC
This paper presents SOCRATES,
doi:10.1145/62882.62952
fatcat:uzuz4gnhrvdevkueq5apqy2tfa