I am shocked: they write microcode in high level language!
Lambda the Ultimate points at an article titled The GNU 64-bit PL8 compiler. I was shocked to discover that as early as 20 years ago, IBM has been writing microcode for their computers using high level languages.

heh, I just posted an entry about this paper as well
(http://livejournal.com/users/mulix)