Mentioned in the article, same link too. The court documents included a diagram of the microcode format, and also a comparison of the reset sequence between Int

Mentioned in the article, same link too. The court documents included a diagram of the microcode format, and also a comparison of the reset sequence between Intel and NEC.