Peter M. Maurer Zhicheng Wang Techniques for Unit-Delay Compiled Simulation. 480-484 1990 DAC http://doi.acm.org/10.1145/123186.123346 db/conf/dac/dac90.html#MaurerW90