Race analysis of digital systems without logic simulation.

Richard A. Harrison, Daniel J. Olson

Browse the full DAC paper archive.