Richard A. Harrison, Daniel J. Olson. Race analysis of digital systems without logic simulation. In Proceedings of the 8th Design Automation Workshop, DAC '71, Atlantic City, NJ, USA, June 28-30, 1971. pages 82-94, ACM, 1971. [doi]
Abstract is missing.