Wiki¶

Retrascope Statements¶

• BasicBlock
• Switch
• Case
• Loop
• Wait
• Assert

MicroTESK Statements¶

• Assign
• Exception
• IfThenElse
• Mark
• Trace / Format
• Return
• Call / FunctionCall
• Assert
• Status

Castle Statements¶

• Assignment / BasicBlock
  • Retrascope: Blocking/Nonblocking
• Assertion
• Call
  • MicroTESK: Mark, Trace, Exception
• Return
• Switch / Case

• Data Declarations
• Operations / Processes

Control Flow Graph Representation requirements