Transcript SpecCPipe.ppt

Control structure of the execution semantics
of Pipe statements in SpecC:
pipe(Init,cond,Incr,p1,…,pn)
init
Init
filling
FillLoop
(cond,Incr,
p1...pn)
cond
no
yes
running
advance
stm
Spawn(p1...pn)
seq Incr
finished
FlushLoop
(p1...pn)
flushing
no
cond
yes
© Egon Börger: Control State ASM for SpecC pipe stm
References
• W. Mueller and R. Doemer and A. Gerstlauer: The
Formal Execution Semantics of SpecC
– In: TR ICS-01-59 of University of California at Irvine,
November 30, 2001
• E. Börger, R. Stärk: Abstract State Machines. A
Method for High-Level System Design and Analysis
Springer-Verlag 2003, see
http://www.di.unipi.it/AsmBook
– See Chapter 2
© Egon Börger: Control State ASM for SpecC pipe stm