Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/ape100.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Egon Börger and Giuseppe Del Castillo, "A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)". In Y. Gurevich and E. Boerger, "Evolving Algebras Mini-Course", Technical Report BRICS- NS-95- 4, BRICS, University of Aarhus, July 1995. |
|---|---|
| Summary: | A specification of the APE100 parallel architecture. |
| Subjects: | Architectures, Hardware |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | See also an extended abstract for this paper. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/ape100.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT