This video speaks about how to convert the STIL format file to .do for the compatibility of synopsys DC synthesized file to Tessent tool. In addition it shows how to generate the ATPG test pattern targeting for stuck and transition faults in sequential circuits.
ATPG for stuck at faults
ATPG for transition faults
STIL file convertion
Tessent for ATPG