It seems support.mentor.com has changed a bit.
Previously, I can search a tessent-related question, say "c6", then it would give
a link to "Tessent TK ATPG c6" warning", I would go to tessent documentation
by following the link. There I can download pdf format of the documentation.
But, now, such search at support.mentor.com returns not result.