Indeed. They are pretty big into cutting edge CPU design. I've seen some pretty cool system architecture coming from them as well. e.g. their cache setups on z mainframes[0]

[0] https://www.youtube.com/watch?v=z6u_oNIXFuU&t=577s