https://www.techtaffy.com/synopsys-awarded-darpa-contract-for-automatic-implementation-of-secure-silicon-program/