|
[KLV11]
Jayanand Asok Kumar, Lingyi Liu and Shobha Vasudevan.
Scaling Probabilistic Timing Verification of Hardware Using Abstractions in Design Source Code.
In Proc. 11th International Conference on Formal Methods in Computer-Aided Design (FMCAD'11).
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|