AMENDED AND RESTATED CREDIT AGREEMENT among SYNOPSYS, INC., as Borrower, The Several Lenders from Time to Time Parties Hereto, ABN AMRO BANK N.V., KEYBANK NATIONAL ASSOCIATION, and WELLS FARGO BANK, NATIONAL ASSOCIATION, as Co- Documentation Agents,...