Encoding Information in Time & Space
In Most HDLs, "wires" are declared but the passage of time is embedded in the control structures.
We are caught up (once again!) with imperative, sequential thinking and a Von Neumann model.
?We need a way of capturing both temporal and spatial encoding in a single, unified mathematical model.
Use a type mechanism: "?-types"