previous up next
Go backward to A Simple Cached Memory (Contd)
Go up to Top
Go forward to Refinement Mappings
RISC-Linz logo

Formal Specification


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next