The world has a running Rational R1000/400 computer again (2019)

I’d be curious if this was similar to the Western Digital Pascal chips: https://en.wikipedia.org/wiki/Pascal_MicroEngine

Supposedly the first verification of the first Ada compiler was done on a system made with the Pascal MicroEngine.

It doesn’t answer your question but I came across this yesterday doing some research on the R1000 (which is why I came across the OP). You might find it interesting:

Ada Compiler Validation Summary Report: Rational Environment

https://apps.dtic.mil/sti/tr/pdf/ADA157830.pdf