Specifying superscalar microprocessors in Hawk (1998)
by
Byron Cook
,
John Launchbury
,
John Matthews
| Venue: | In Formal Techniques for Hardware and Hardware-like Systems. Marstrand |
| Citations: | 24 - 4 self |
BibTeX
@INPROCEEDINGS{Cook98specifyingsuperscalar,
author = {Byron Cook and John Launchbury and John Matthews},
title = {Specifying superscalar microprocessors in Hawk},
booktitle = {In Formal Techniques for Hardware and Hardware-like Systems. Marstrand},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Hawk is a language for the specification of microprocessors at the microarchitectural level. In this paper we use Hawk to specify a modern microarchitecture based on the Intel P6 with features such as speculation, register renaming, and superscalar out-of-order execution.
