Accelerating functional timing analysis with encoding duplication removal and redundant state propagation.

Denny C.-Y. Wu, Pin-Ru Jhao, Charles H.-P. Wen

Browse the full ICCAD paper archive.