Rainbow is a Hardware Description Framework for producing Micropipelined Hardware. It is currently under development by the Asynchronous Hardware Verification Group at the Department of Computer Science at the University of Manchester.
It is our intention that this should be used for producing real microprocessors.
Details on how to use the Rainbow Server over RMI are available.
Slides from Donal Fellows's Talk to the British Colloquium on Theoretical Computer Science 12 (Thursday 4th April, 1996, at UKC).
Entered into archive on 05Apr96.
Layout Interchange Format definition. LIF is the format for importing foreign design layouts into the Rainbow editing environment, and it is designed so as to keep the amount of information that is required to a minimum. The editor save file format is mostly simpler than this, but much more opaque and requiring of much larger actual amounts of information to be supplied.
Entered into archive on 17Feb97.
Donal Fellows's MSc Thesis which gives quite a few details on what is actually going on in Rainbow, even though it is now quite a bit out of date.
Entered into archive on 25Apr97, but dates from ??Oct96.
Rainbow ASseMbler definition. RASM is the format for code generated by the compiler for running by the simulator and it is also the format of the standard device library.
Entered into archive on 28Nov97.
The Rainbow Server Documentation tree is now available on-line, though only intermittently (i.e. no quality of service is guaranteed with this link at all!) There is also a picture of the current architecture for those who are interested.
Entered into archive on 06Jul00.