BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
V.Morgan K.A.Bartlett A.J.d.Geus G.D.Hachtel
Talks about:
system (2) logic (2) synthesi (1) synthes (1) automat (1) socrat (1) combin (1) optim (1) ecl (1)

Person: David Gregory

DBLP DBLP: Gregory:David

Contributed to:

DAC 19911991
DAC 19861986

Wrote 2 papers:

DAC-1991-MorganG #logic #synthesis
An ECL Logic Synthesis System (VM, DG), pp. 106–111.
DAC-1986-GregoryBGH #automation #logic #named #optimisation
SOCRATES: a system for automatically synthesizing and optimizing combinational logic (DG, KAB, AJdG, GDH), pp. 79–85.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.