// POWER MANAGER 

module PM
	
	pm  :  [0..4]; 
	// 0 - go to active 
	// 1 - go to idle 
	// 2 - go to idlelp 
	// 3 - go to stby  
	// 4 - go to sleep 
	
	[tick1] cond1 -> p01 : (sp'=0) + p11 : (sp'=1) + p21 : (sp'=2) + p31 : (sp'=3) + p41 : (sp'=4);
	[tick1] cond2 -> p02 : (sp'=0) + p12 : (sp'=1) + p22 : (sp'=2) + p32 : (sp'=3) + p42 : (sp'=4);
	[tick1] cond3 -> p02 : (sp'=0) + p13 : (sp'=1) + p23 : (sp'=2) + p33 : (sp'=3) + p43 : (sp'=4);

endmodule