Login / Signup

SOCRATES: a system for automatically synthesizing and optimizing combinational logic.

David GregoryKaren A. BartlettAart J. de GeusGary D. Hachtel
Published in: DAC (1986)
Keyphrases