Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

APE100 (Extended Abstract)


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.