David Gregory

SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

Gary D. Hachtel, Karen A. Bartlett, David Gregory, 1986, 23rd ACM/IEEE Design Automation Conference.

SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

D. Gregory, A. de Geus, K. Bartlett, 1986, 23rd ACM/IEEE Design Automation Conference.

Testability-Driven Random Test-Pattern Generation

Franc Brglez, David Gregory, Aart J. de Geus, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.