Collaborated with:D.Gregory A.J.d.Geus G.D.Hachtel
Talks about:synthes (1) automat (1) system (1) socrat (1) combin (1) optim (1) logic (1)
Person: Karen A. Bartlett
DBLP: Bartlett:Karen_A=
Contributed to:
1986Wrote 1 papers:
- DAC-1986-GregoryBGH #automation #logic #named #optimisation
- SOCRATES: a system for automatically synthesizing and optimizing combinational logic (DG, KAB, AJdG, GDH), pp. 79–85.