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
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;
Conference_Titel :
Microprocessor Test and Verification (MTV), 2010 11th International Workshop on
Conference_Location :
Austin, TX
Print_ISBN :
978-1-61284-287-5
DOI :
10.1109/MTV.2010.18
