First of all, Thank you for the upload!
Secondly, I'm planning to opt for a course on STA next academic session. I would like to know what tools are used to do STA? I have access to Mentor Graphics Questa and nothing else. Can STA be done with this tool? However the product is marketed more as a functional verification package and not an STA tool.