In Diamond 3.12 SP1 and above version, users can use the "tmcheck" command after PAR trace and before bitgen.
Note that when using "tmcheck" command in your TCL script, make sure to add the "exec" syntax before "tmcheck"
Example:
exec tmcheck -par <par file>