Scaling probabilistic timing verification of hardware using abstractions in design source code.

Jayanand Asok Kumar, Lingyi Liu, Shobha Vasudevan

Browse the full FMCAD paper archive.