Ella: A Hardware Design & Description Language

Carefully-chosen underlying set of semantics oriented towards hardware.
Major limitations for our needs are:
- Simple notion of time (too simple)
- Type mechanism limited (need to combine spatial and temporal characteristics in types; prefer sets to enumerations)
- Notation still has difficulties representing "store."