Actually the KDF11 microcode is dumped, at least the russian clone of the KDF11, but one can assume that it is identical. Here is a verilog model of the KDF11:
11/23 in verilog
It should be possible to convert it into software and then run the microcode if one wish.