Elementary Microarchitecture Algebra: Top-Level Proof of PipelinedMicroarchitecture

Authors:
John Matthews;John Launchbury
Affiliations:
-;-
Venue:
Elementary Microarchitecture Algebra: Top-Level Proof of PipelinedMicroarchitecture
Year:
1999

Citing 0
Cited 2

On embedding a microarchitectural design language within Haskell

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Elementary Microarchitecture Algebra

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

This is a companion note to {\em Elementary Microarchitecture Algebra} (To appear in CAV ''99) and outlines an algebraic simplification proof of the pipelined microarchitecture described in that paper.