Concepedia

D.W. Knapp

DK

Statistics

Publications

8

Citations

240

H-Index

8

Active since

1983

Affiliations

University of Illinois Urbana-Champaign(Current)

Urbana University

D.W. Knapp is an author at University of Illinois Urbana-Champaign specializing in computer architecture, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputer ArchitectureComputer EngineeringSoftware EngineeringFormal VerificationSystems EngineeringFormal MethodsProgram AnalysisParallel Computing

Publications per year

1983–2003

8

Publications

8

Behavioral synthesis methodology for HDL-based specification and validation

D.W. Knapp, Tai Ly, Don MacMillen et al. · 1995 · 64 citations · Full text

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

D.W. Knapp · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 42 citations

Mathematical Programming, Engineering, Bus Topology +19

The ADAM design planning engine

D.W. Knapp, Alice C. Parker · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 36 citations

Artificial Intelligence, Engineering, Software Systems +27

A Data Structure for VLSI Synthesis and Verification

D.W. Knapp, Alice C. Parker · STIN · 1983 · 26 citations

Hardware Modeling, Engineering, Hardware Verification Language +20

Manual rescheduling and incremental repair of register-level datapaths

D.W. Knapp · 2003 · 24 citations

Software Maintenance, Engineering, Compiler Technology +20

1–5 of 8