David W. Knapp

A prescriptive formal model for data-path hardware

Marianne Winslett, David W. Knapp, M. Winslett, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Automatic synthesis of a dual-PLA controller with a counter

David W. Knapp, David Binger, 1990, [1990] Proceedings of the 23rd Annual Workshop and Symposium@m_MICRO 23: Microprogramming and Microarchitecture.

Manual rescheduling and incremental repair of register-level datapaths

David W. Knapp, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Using Analogies across Narratives to Drive Dialogue

David W. Knapp, D. Knapp, 2009, AAAI Spring Symposium: Intelligent Narrative Technologies II.

Fasolt: a program for feedback-driven data-path optimization

David W. Knapp, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Use of Change Coordination in an Information-Rich Design Environment

Marianne Winslett, David W. Knapp, Gio Wiederhold, 1989, 26th ACM/IEEE Design Automation Conference.

Datapath optimization using feedback

David W. Knapp, 1991, Proceedings of the European Conference on Design Automation..

The ADAM design planning engine

David W. Knapp, Alice C. Parker, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Behavioral synthesis: digital system design using the synopsys behavioral compiler

David W. Knapp, 1996 .

Modeling and simulation of the SDC data collection chip

David W. Knapp, E. Hughes, R. W. Downing, 1991 .

A HIGH SPEED DATA ACQUISITION SUBSYTEM FOR THE SSC

Marianne Winslett, David W. Knapp, Michael Haney, 1990 .