Some Details¶

Variable Declarations¶

Each declaration has a set of namesakes (declarations with the same name). Take a look to an example below.

// A variable can be an output and a register (or a wire) at the same time.
output var;
reg var;

In this case, two declarations will be created:

1. ⟨ ID ₁, name = "var", type = "output", namesakes = { ID ₂ } ⟩
2. ⟨ ID ₂, name = "var", type = "output", namesakes = { ID ₁ } ⟩