A State-Based Modeling Approach for Efficient Performance Evaluation of Embedded System Architectures at Transaction Level

Table 3

State-action table for specification of the ChannelEstimator activity.

Current state	Next state		Actions
	Condition	State	Action
𝑠0	PilotSymbol	𝑠1	CcEstim=0
𝑠1	𝑡=𝑇Proc AND 𝑘<4	𝑠1	CcEstim=Cc𝑠1; EstimatedChannelFactor
	𝑡=𝑇Proc AND 𝑘=4	𝑠2
𝑠2	PilotSymbol	𝑠3	CcEstim=0
𝑠3	𝑡=𝑇Proc AND 𝑘<3	𝑠3	CcEstim=Cc𝑠3; EstimatedChannelFactor
	𝑡=𝑇Proc AND 𝑘=3	𝑠0