a collection of tools widely used in Synopsys SWE