Questo tipo unità dati è predefinito nella FP library.
Questa DUT può essere utilizzata con la seguente o le seguenti istruzioni:
Elementi della DUT (identificatori):
Numero di nodi massimo dei nodi definiti
Il numero delle word varia in base al numero di nodi massimo registrato:
Numero nodo max. |
N. di word valide |
---|---|
0 |
0 |
1–16 |
1 |
17–32 |
2 |
33–48 |
3 |
49–64 |
4 |
... |
... |
225–239 |
15 |
241–256 |
16 |
Array di bit degli stati nodo 1...256
Allocazione di numeri di bit e numeri di nodo di ciascuna tabella e monitor:
Tabella di corrispondenza di numeri di nodo |
||||||||||||||||
N. bit |
15 |
14 |
13 |
12 |
11 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
0 |
N. nodo |
16 |
15 |
14 |
13 |
12 |
11 |
10 |
9 |
8 |
7 |
6 |
5 |
4 |
3 |
2 |
1 |
... |
... |
|||||||||||||||
N. nodo |
256 |
255 |
254 |
253 |
252 |
251 |
250 |
249 |
248 |
247 |
246 |
245 |
244 |
243 |
242 |
241 |