Journal Title
Title of Journal: Int J Softw Tools Technol Transfer
|
Abbravation: International Journal on Software Tools for Technology Transfer
|
Publisher
Springer Berlin Heidelberg
|
|
|
|
|
|
Authors: Andrew Butterfield Jim Woodcock
Publish Date: 2005/01/25
Volume: 7, Issue: 3, Pages: 248-267
Abstract
We describe an operational semantics for the hardware compilation language HandelC 7 which is a Clike 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 HandelC 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 “zerotime” 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
Keywords:
.
|
Other Papers In This Journal:
|