Specifying and validating memory protocols for chip generators
Abstract/Contents
- Abstract
- Shared memory protocols are a complex and active area of research. A memory protocol describes the way in which multiple processing entities communicate in order to achieve a consistent view of a hierarchical shared memory system. From a research perspective, it is easiest to specify a protocol at a high level, to emphasize what is new and interesting about the protocol. With only this specification it is a challenge to evaluate these solutions in hardware, because creating an entire hardware chip multiprocessor platform is a complex and error prone task. This thesis presents Specification Language for Advanced Memory Models (SLAMM), a language for specifying protocols at a high level in a C-like language. A SLAMM specification is compiled to configure a hardware template which can implement the memory protocol. This overall system template is composed of a number of independent controllers, and we present in detail the template for one such controller and the microblocks which compose it. We also describe a technique for verifying the resulting hardware system using a Relaxed Scoreboard, which allows either random testing of the system or monitored directed tests. These parts taken together provide a flexible memory platform that is easy to program and validate to evaluate new protocols in hardware.
Description
| Type of resource | text |
|---|---|
| Form | electronic; electronic resource; remote |
| Extent | 1 online resource. |
| Publication date | 2013 |
| Issuance | monographic |
| Language | English |
Creators/Contributors
| Associated with | Wachs, Megan A |
|---|---|
| Associated with | Stanford University, Department of Electrical Engineering. |
| Primary advisor | Horowitz, Mark Eden |
| Thesis advisor | Horowitz, Mark Eden |
| Thesis advisor | Kozyrakis, Christoforos, 1974- |
| Thesis advisor | Mitra, Subhasish |
| Advisor | Kozyrakis, Christoforos, 1974- |
| Advisor | Mitra, Subhasish |
Subjects
| Genre | Theses |
|---|
Bibliographic information
| Statement of responsibility | Megan A. Wachs. |
|---|---|
| Note | Submitted to the Department of Electrical Engineering. |
| Thesis | Thesis (Ph.D.)--Stanford University, 2013. |
| Location | electronic resource |
Access conditions
- Copyright
- © 2013 by Megan Anneke Wachs
- License
- This work is licensed under a Creative Commons Attribution Non Commercial 3.0 Unported license (CC BY-NC).
Also listed in
Loading usage metrics...