Definitive Contract to Synopsys, Inc. by Defense Contract Management Agency: $786,050 obligated, latest action 2020-10-15.…