DocumentCode
2644531
Title
Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines
Author
Buchanan, Nathan ; Patel, Hiren D.
Author_Institution
Univ. of Waterloo, Waterloo, ON, Canada
fYear
2010
fDate
13-15 Dec. 2010
Firstpage
53
Lastpage
58
Abstract
This work presents a way to express Concurrent Action Oriented Specification (CAOS) designs using the Abstract State Machine (ASM) formalism. Specifically, we provide the syntax, and scheduling semantics for CAOS in ASMs. This forms an essential piece of our larger multiple model of computation (MoC) hardware/software co-design framework utilizing ASMs. We illustrate the specification of the hardware and software components using this framework with a simple switch case study.
Keywords
finite state machines; formal specification; hardware-software codesign; abstract state machine formalism; concurrent action oriented specification designs; multiMoC hardware-software co-design; multiple model of computation; scheduling semantics; syntax semantics; Fires; Hardware; Reactive power; Schedules; Semantics; Software; Switches; Abstract State Machines; Concurrent Action Oriented Specifications; co-design;
fLanguage
English
Publisher
ieee
Conference_Titel
Microprocessor Test and Verification (MTV), 2010 11th International Workshop on
Conference_Location
Austin, TX
ISSN
1550-409
Print_ISBN
978-1-61284-287-5
Type
conf
DOI
10.1109/MTV.2010.18
Filename
5976244
Link To Document