Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems.

Eric Verlind, Gjalt G. de Jong, Bill Lin

Browse the full DAC paper archive.