David Knapp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1985–1995
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | DAC | Behavioral Synthesis Methodology for HDL-Based Specification and Validation. | David Knapp, Tai Ly, Don MacMillen, Ron Miller |
| 1995 | DAC | Scheduling Using Behavioral Templates. | Tai Ly, David Knapp, Ron Miller, Don MacMillen |
| 1991 | ICCAD | Encoding Multiple Outputs for Improved Column Compaction. | David Binger, David Knapp |
| 1990 | ICCAD | Feedback-Driven Datapath Optimization in Fasolt. | David Knapp |
| 1990 | MICRO | Automatic synthesis of a dual-PLA controller with a counter. | David Binger, David Knapp |
| 1989 | DAC | An Interactive Tool for Register-level Structure Optimization. | David Knapp |
| 1986 | DAC | A design utility manager: the ADAM planning engine. | David Knapp, Alice C. Parker |
| 1985 | DAC | The ADAM advanced design automation system: overview, planner and natural language interface. | John J. Granacki, David Knapp, Alice C. Parker |
| 1985 | VLDB | An Extensible Object-Oriented Approach to Databases for VLSI/CAD. | Hamideh Afsarmanesh, Dennis McLeod, David Knapp, Alice C. Parker |