# Yes, the company is really called Synopsys
spelling-error-in-copyright Synopsys Synopsis
