Sciweavers

CONCURRENCY
2010

A step towards refining and translating B control annotations to Handel-C

13 years 4 months ago
A step towards refining and translating B control annotations to Handel-C
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown to be consistent. This enables designers' understanding about local relationships between successive operations to be captured at the point the operations are written, and used later when the controller is developed. This paper introduces several new annotations and I/O into the framework to take advantage of hardware's parallelism and to facilitate refinement and translation. To support the new annotations additional CSP control operations are added to the control language that now includes: recursion, prefixing, external choice, if-then-else, and sequencing. We informally sketch out a translation to Handel-C for prototyping. Keywords. B Metrhod, CSP, Hardware Description Language,
Wilson Ifill, Steve A. Schneider
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CONCURRENCY
Authors Wilson Ifill, Steve A. Schneider
Comments (0)