HOME       UP       PREV       FURTHER NOTES       NEXT (All-forms High-level Synthesis Summary)  

Expression forms: State charts and Graphical `languages'

Synthesis from diagrams (especially UML/SysML) embodies guarded actions:

The stategraph general form is:

stategraph graph_name()
{
  state statename0 (subgraph_name, subgraph_entry_state), ... : 

        entry:  statement;
        exit:   statement;
        body: statement;

        statement;
        ...            // implied 'body:' statements
        statement;
 
        c1 -> statename1: statement;
        c2 -> statename2: statement;
        c3 -> exit(good);
        ...

        exit(good) -> statename3: statement;
        exit(bad) -> statename4: statement;
        ...

   endstate

   state statename2:
   ...
   ...
   endstate


   state abort: // A special state that can be 
                  // forced remotely (also called disable).
   ...
}

53: (C) 2012-17, DJ Greaves, University of Cambridge, Computer Laboratory.