Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

APE100


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.