[an error occurred while processing this directive]
[an error occurred while processing this directive]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 B. Werner, ed., Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), Ft. Lauderdale, Florida, November 6-10, 1995, 145--148. |
---|---|
Summary: | An extended abstract of a specification of the APE100 processor. |
Subjects: | Architectures, Hardware |
Download: | PostScript, PDF, Compressed PostScript. |
Notes: | See the full version of this paper. |