verificacio

 INFORME VERIFICACIÓ (Pràctica.2)
Taula de Verificació.
Sortida 1 del WG
Sortida 2 del WG
Sortida 3 del WG
Sortida 4del WG


Entrada P/BEntrada Fcc
Entrada Fcm
Entrada CK
Valor Hexadecimal primera columna esquerra
Estat
0
0
1
0
4
0
0
1
0
1
5
0
1
1
0
0
C
0
1
1
0
1
D
3
0
0
0
0
0
3
0
0
0
1
1
3
0
1
00
4
3
0
1
0
1
5
3
1
0
0
0
8
3
1
0
0
1
9
3
1
1
0
0
C
3
1
1
0
1
D
3
0
1
0
0
1
1
0
0
2
A
3
3
0
1
0
0
1
1
1
1
3
B
1
1
0
0
0
0
0
1
0
0
01
1
3
1
0
1
0
A
3
1
0
1
1
B
1
0
0
0
0
0
1
0
0
0
1
1
3
0
0
1
0
2
3
0
0
1
1
3
1
1
0
0
0
8
1
1
0
0
1
9
2
1
0
1
0
A
2
1
0
1
1
B
2
0
1
0
11
1
0
0
1
0
0
0
4
C
6
2
2(ERROR)
2 (CORREGIT)

0
1
0
1
1
1
0
0
1
1
1
1
5
D
7

0
3 (ERROR)
0 (CORREGIT)


Objeccions:
Mentres s’ha realitzat la verificació delgraf d’estats s’ha trobat un error en el pas del Estat 2 cap al Estat 0 aquest error es dóna en la combinació (1100/1101), és a dir, no torna a l’estat inicial, una vegada localitzat aquest error s’hamodificat amb la combinació correcta (0110/0111) i la resolució dona que passa de l’Estat 2 a l’Estat 0 tornant al principi del cicle. D’aquesta manera hem pogut verificar el graf d’estatconseqüentment hem aconseguit que el muntacàrregues funcioni correctament.
Comprovacio 2: En aquesta comprovació ens ha donat correcta utilitzant com ha transició final 0100/0101.







Hem anatcontinuant utilitzant la icona step , comprovant que totes les transicions siguin correctes (mirar taula de verificació) fins arribar al final del cicle, que utilitzant la ultima transició (0100/0101) arribemfins a l’inici de cicle (Estat 0).

Comprovació 2: En aquesta comprovació hem detectat l’error què fa que no sigui possible la transició final del Estat 2 al Estat 0. (combinació transició final...