David L. Dill is a professor of computer science and, by courtesy, electrical engineering at Stanford University. He is ...