Exhaustive simulation need not require an exponential number of tests.

Published in: ICCAD (1992)

Keyphrases

maximum number
real time
search engine
web services
case study
three dimensional
digital libraries
finite number
fixed number
simulation environment