Intractability in linear switch-level simulation.

Lawrence P. Huang Randal E. Bryant

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1993)

Keyphrases

levels of abstraction
higher level
high speed
np complete
simulation study
real world
efficient computation
simulation models
decision making
closed form
simulation environment