Delay Prediction for Technology-Independent Logic Equations.

Paul T. Gutwin Patrick C. McGeer Robert K. Brayton

Published in: ICCD (1992)

Keyphrases

prediction accuracy
rapid development
logic programming
data processing
prediction algorithm
cost effective
mathematical model
differential equations
key technologies
case study
prediction error
st century
classical logic
computer systems
steady state
automated reasoning
proof theory