@PhDThesis{Kum12,
author={Jayanand Asok Kumar},
title={Statistical Guarantees of Performance for {RTL} Designs},
school={University of Illinois at Urbana-Champaign},
year={2012},

type={},
address={},
month={},
note={},
key={}
}