The R1000 is a micro-coded computer built from approx 5k TTL functions, with an instruction set consisting of Ada Primitives like "Define a type for a variant structure with 3 variants, you'll get the details later".
It processes 64bit data and 64 bit type information about that data in parallel, in hardware.
It is also object oriented in hardware, there is no linear address space or VM-tree,
Three left in the world, plus one mostly empty chassis.
My Covid19 project was writing a software emulation of it, starting from 400 pages of schematics, because the instruction set is not documented.
And yes, I'm way behind on documenting it, because I also have a life :-)
I knew Rational did Ada (and later acquired awesome products from Atria and Pure), but didn't know they had their own workstation hardware in the '80s.
And it had a nice portrait orientation monitor like some early Xerox workstations (the PARC ones like Alto, and the fancy word processors like 850 and 860 IPS).
Later, starting as a teen, I was working for Cadre, a competitor of Rational on workstation software engineering tools. The company started with Apollo Domain workstations (not rolled their own), and, by the time I joined, had added Sun, HP, IBM, DEC, and MS Windows.
The Cadre site I started at (a spinoff of Tektronix, which did high-end hardware in-circuit emulators with CASE workstation frontends) was practically across the street in the OGI science park from Verdix, which, a bit like Rational, did Ada development tools and related neat systems work like (IIRC) secure compartmentalized workstation technology.
It was an exciting time in computers, and in hindsight, as a kid I saw engineers picking up and applying broader mixes of skills than we usually do in today's fairly rigid skills silos.
Notably it needs KiCad to run and takes ~140 hours to boot.
Seems like the reason for KiCad and the slow operation is that the emulation occurs at a really low level, and they've written a program to digitize all of the computer's schematics and convert them into netlists (which is then converted into systemC components for the emulator): https://github.com/Datamuseum-DK/R1000.HwDoc
7 comments
[ 2.8 ms ] story [ 21.8 ms ] threadAppears to be an ADA-based workstation?
Is this the same Rational as Rational ClearCase etc as acquired by IBM back in the day? Crazy
It processes 64bit data and 64 bit type information about that data in parallel, in hardware.
It is also object oriented in hardware, there is no linear address space or VM-tree,
Three left in the world, plus one mostly empty chassis.
My Covid19 project was writing a software emulation of it, starting from 400 pages of schematics, because the instruction set is not documented.
And yes, I'm way behind on documenting it, because I also have a life :-)
And it had a nice portrait orientation monitor like some early Xerox workstations (the PARC ones like Alto, and the fancy word processors like 850 and 860 IPS).
Later, starting as a teen, I was working for Cadre, a competitor of Rational on workstation software engineering tools. The company started with Apollo Domain workstations (not rolled their own), and, by the time I joined, had added Sun, HP, IBM, DEC, and MS Windows.
The Cadre site I started at (a spinoff of Tektronix, which did high-end hardware in-circuit emulators with CASE workstation frontends) was practically across the street in the OGI science park from Verdix, which, a bit like Rational, did Ada development tools and related neat systems work like (IIRC) secure compartmentalized workstation technology.
It was an exciting time in computers, and in hindsight, as a kid I saw engineers picking up and applying broader mixes of skills than we usually do in today's fairly rigid skills silos.
Notably it needs KiCad to run and takes ~140 hours to boot.
Seems like the reason for KiCad and the slow operation is that the emulation occurs at a really low level, and they've written a program to digitize all of the computer's schematics and convert them into netlists (which is then converted into systemC components for the emulator): https://github.com/Datamuseum-DK/R1000.HwDoc
a video explaining the process?: https://www.youtube.com/watch?v=oMRTr0bPuOA
Supposedly the first verification of the first Ada compiler was done on a system made with the Pascal MicroEngine.