NEXT (Behavioural Expression)
Higher-level: Behavioural or Logical ?
There are two primary, high-level entry styles we can consider, and we can also consider blends of them:
- Behavioural Expression: Using imperative software-like code, where
threads have stacks and pass between modules, and so on...
- Declarative/Logical Expression: Constraining assertions
about the allowable behaviour are given, but any ordering constraints are implicit (e.g. SQL queries).
Both styles are amenabale to automatic datapath and schedule
re-encoding and re-pipelining to meet timing closure and power