Notes
4
For example, Rapide has been used to specify/ analyze the architecture model
of the Sparc Version 9
64-bit instruction set, a standard published by Sparc International. Models of
the extensions for the Ultra
Sparc have also been done; they are used extensively in benchmarking Rapide
simulation algorithms.
Further information is available via the World Wide Web at
http://anna.stanford.edu/rapide/rapide.html.