Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.
DOI: 10.1109/memcod.2004.1459823
|View full text |Cite
|
Sign up to set email alerts
|

Designing a reorder buffer in bluespec

Abstract: Abstract

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
9
0
8

Publication Types

Select...
7

Relationship

0
7

Authors

Journals

citations
Cited by 14 publications
(17 citation statements)
references
References 13 publications
0
9
0
8
Order By: Relevance
“…In order to decouple modules, the interface of each module is implemented with the ready/enable handshaking approach, which is embodied in the Put and Get interfaces [3]. The Bluespec compiler automatically enforces ready/enable handshaking between modules connected in this manner such that an upstream module will block if the downstream module is not ready.…”
Section: Transaction-level Modeling Style Interfacesmentioning
confidence: 99%
“…In order to decouple modules, the interface of each module is implemented with the ready/enable handshaking approach, which is embodied in the Put and Get interfaces [3]. The Bluespec compiler automatically enforces ready/enable handshaking between modules connected in this manner such that an upstream module will block if the downstream module is not ready.…”
Section: Transaction-level Modeling Style Interfacesmentioning
confidence: 99%
“…Although relatively new, Bluespec seems to have captured the interest of industry and academia, as shown by the BSV designs making their appearance (i.e. [4,5,21]). …”
Section: Introductionmentioning
confidence: 99%
“…Bluespec has received attention both from industry and academia, and a number of rather complex designs written using BSV have been published (e.g. [5,6,11,13,14,33]). …”
mentioning
confidence: 99%