Exhaustive simulation need not require an exponential number of tests.

Daniel Brand

Browse the full ICCAD paper archive.