SANTA CLARA, Calif. — New verification techniques like assertions, functional coverage, and pseudo-random test generation are potentially valuable, but face significant roadblocks to adoption, ...