> Here the problem was their key generation method, which produced guessable keys, not the use of ECB.

I didn't say ECB was the issue. I was just riffing on the ECB penguin being a famous example of cryptographic failures being literally visible.

(I have no idea how SPICE models are encoded.)