Paper Info
Title
prialt in Handel-C: an operational semantics
Abstract
We describe an operational semantics for the hardware compilation language Handel-C [7], which is a C-like language with channel communication and parallel constructs which compiles down to mainly synchronously clocked hardware. The work in this paper builds on previous work describing the semantics of the “prialt” construct within Handel-C [5] and a denotational semantics for part of the language [6]. We describe a key subset of the language and show how a design decision for the real language, namely that default guards in a prialt statement executed in “zero-time”, has consequences for the complexity of the operational semantics. We present the operational semantics, along with a revised and completed prialt semantics, indicating clearly the interface between them. We then describe a notion of observational equivalence and present an example illustrating how we handle the complexity of nested prialts in default guards.
Year
DOI
Venue
2005
10.1007/s10009-004-0181-6
STTT
Keywords
DocType
Volume
synchronously clocked hardware,prialt semantics,prialt statement,real language,handel-c,denotational semantics,priority,c-like language,default guard,operational semantics,hardware compilation language handel-c,previous work
Journal
7
Issue
ISSN
Citations 
3
1433-2787
5
PageRank 
References 
Authors
0.49
7
2
Name
Order
Citations
PageRank
Andrew Butterfield11059.95
Jim Woodcock224418.34