Jayanand Asok Kumar, Lingyi Liu, Shobha Vasudevan. Scaling probabilistic timing verification of hardware using abstractions in design source code. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 196-205, FMCAD Inc., 2011. [doi]
Abstract is missing.