bluespec.com Forum Index bluespec.com
Bluespec Forums
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

FSM done method

 
Post new topic   Reply to topic    bluespec.com Forum Index -> Designing with BSV's Rules, Interfaces, ...
View previous topic :: View next topic  
Author Message
ShepSiegel



Joined: 14 Aug 2007
Posts: 41

PostPosted: Wed Sep 05, 2012 9:34 am    Post subject: FSM done method Reply with quote

The FSM done method is described as

Quote:
Asserted when the state machine is done and is ready to rerun.


It seems ambiguous to me from that wording alone if done will be True before the SM has run the first time. Is that the case?

You can imagine using myFsm.done as rule predicate for the rule that sets up the state for and starts the execution of myFSM, regardless if it is the first or n'th execution of myFSM. That use-case would require done be True initially.
Back to top
View user's profile Send private message
hadar_agam



Joined: 10 May 2007
Posts: 38

PostPosted: Thu Sep 06, 2012 11:34 am    Post subject: Reply with quote

I just checked - done is indeed True before the SM has run the first time. We'll clarify the documentation - thanks for catching this nuance (see attached example).


fsm.bsv
 Description:

Download
 Filename:  fsm.bsv
 Filesize:  527 Bytes
 Downloaded:  511 Time(s)

Back to top
View user's profile Send private message Visit poster's website
ShepSiegel



Joined: 14 Aug 2007
Posts: 41

PostPosted: Thu Sep 06, 2012 1:22 pm    Post subject: Reply with quote

Thanks Hadar,
Verified here as well.
-Shep
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    bluespec.com Forum Index -> Designing with BSV's Rules, Interfaces, ... All times are GMT - 4 Hours
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You can attach files in this forum
You can download files in this forum
bluespec.com topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group
Protected by Anti-Spam ACP