Behavioural Expression

We express the algorithm and steps to be performed as an executable program

• using an imperative program (containing loops and assigments), or
• a functional program (where control flow is implicit).

Either way, the tool chain may:

• re-order the operations while preserving semantics, and/or
• re-encode the state and modify memory layouts.

Examples discussed:

• Synopsys Behavioural Compiler,
• Handel-C,
• BlueSpec System Verilog,
• CtoV : C-To-Verilog, SystemCrafter, Catapult, Kiwi, ...
• Statecharts.