of the bus is only 1 [...] (for example, 1 [...] for a cycle time of 1
be defined. Note that a [...] : Symbolic values (1