HOME
UP
  PREV
NEXT (Beyond Pure RTL: Behavioural descriptions of hardware.)
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.