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.
Cited By
- Launchbury J, Lewis J and Cook B On embedding a microarchitectural design language within Haskell Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (60-69)
- Launchbury J, Lewis J and Cook B (1999). On embedding a microarchitectural design language within Haskell, ACM SIGPLAN Notices, 34:9, (60-69), Online publication date: 1-Sep-1999.
Recommendations
Microarchitecture Optimizations for Exploiting Memory-Level Parallelism
ISCA 2004The performance of memory-bound commercial applicationssuch as databases is limited by increasing memory latencies. Inthis paper, we show that exploiting memory-level parallelism(MLP) is an effective approach for improving the performance ofthese ...
An instruction set and microarchitecture for instruction level distributed processing
Special Issue: Proceedings of the 29th annual international symposium on Computer architecture (ISCA '02)An instruction set architecture (ISA) suitable for future microprocessor design constraints is proposed. The ISA has hierarchical register files with a small number of accumulators at the top. The instruction stream is divided into chains of dependent ...
An instruction set and microarchitecture for instruction level distributed processing
ISCA '02: Proceedings of the 29th annual international symposium on Computer architectureAn instruction set architecture (ISA) suitable for future microprocessor design constraints is proposed. The ISA has hierarchical register files with a small number of accumulators at the top. The instruction stream is divided into chains of dependent ...