The Verification of the On-Chip COMA Cache Coherence Protocol

Abstract

This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microthreaded architecture, a multi-core architecture capable of integrating hundreds to hundreds of thousands of processors on single silicon chip. We use the Abstract State Machine (ASM) as a theoretical framework for the specification of the… (More)
DOI: 10.1007/978-3-540-79980-1_31

6 Figures and Tables

Topics

  • Presentations referencing similar topics