searedsteak

Looks like it just shares a name with the spacecraft but isn't related?

nickik
The 'original' RISC-V core was called Rocket.

https://github.com/chipsalliance/rocket-chip

So they picked a European rocket as a name.