Thesis source code for variation aware timing analysis