La correzione effettuata sulla libreria è validata perchè:
-sono state effettuate 4 simulazioni:
	1)golden simulation(senza fault injection) con libreria originale.
	2)faulty simulation(SA0 su Nand1/A2) con libreria originale.
	3)golden simulation con libreria modificata(NAND2_X1).
	4)faulty simulation(SA0 su Nand1/A2) con libreria modificato(..).

	-Ogni simulazione genera 3 file:
		a)simulation_test: con i segnali del modulo test.
		b)nand1_test: segnali interni nand1.
		c)nand2_test: segnali interni nand2.

Dunque, alla fine di tutte le simulazioni avremo 12 file in totale da confrontare per validare il modulo.
Innanzi tutto, Confrontando i vari moduli tra golden e faulty simulation con libreria originale si nota che la fault_injection avviene su tutti i rami del fanout(cosa che non vogliamo;
noi vogliamo, invece, che la fault injection avvenga solo nel punto da noi stabilito).
Per ovviare a questo problema la soluzione trovata è stata modificare la libreria dei gate logici. A modifica effettuata confrontando il golden model con libreria originale e quello con libreria modificata si nota come il risultato non cambi, dunque non viene intaccato il normale funzionamento logico.
Dopo di che, viene effettuata una faulty_simulation e si nota come, confrontando:
	-golden_simulation_test_modif con faulty_simulation_test_mod l'output che si comporta in maniera scorreta è solo N10 e non N11, dunque il fault è propagato solo nel ramo da noi stabilito. VALIDATE
	-per confermare ulteriormente compariamo golden_simulation_nand1_modi con fault_simula_nand1_modif e si nota il cambiamento sull_output mentre la stessa comparazione su nand2 non produce differenze => 
	propagazione del fault solo nel ramo di interesse perche la fault_injection avviene solo nel punto da noi stabilito. VALIDATE
