"Before the RISC name existed, Patterson’s team was already thinking about DARPA funding, and Carlo Séquin suggested the acronym partly with DARPA’s high-risk research mission in mind."
Patterson's oral history makes the naming-funding connection explicit and says the team was discussing DARPA support before settling on RISC.
View Source