Progetti

• Verifica di errori di progetto mediante ATPG
  • Utilizzo di Atalanta per verificare errori di progetto quali: cambiamenti nella funzione di un gate, un ingresso in piu' o in meno, scambio fra un ingresso e un altro segnale del circuito
  • Data una rete e un tipo di guasto, il programma crea una lista contenente tutti (o una parte) di guasti di quel tipo e utilizza l'ATPG per determinare se ciascun guasto e' rivelabile
  • Per un guasto, il compito dell'ATPG e' di generare un test che crei unadifferenza fra una copia del circuito guasto e una del circuito corretto. Questo viene fatto rivelando uno stuck-at in uscita a un comparatore che le confronta
• Simulazione di guasto per guasti di tipo feedback-bridging fault

• Utilizzo del linguaggio VHDL per descrivere gli effetti di guasti di  tipo fbf in reti combinatorie di tipo CMOS

• Il modello deve tenere in conto dei ritardi nel circuito e delle possibili oscillazioni

• Data una rete il programma genera una lista di guasti  e per ciascuno di essi esegue una simulazione determinando il comportamento delle uscite

• ATPG mediante l'utilizzo di algoritmi SAT

• Stuck-at singoli e multipli in reti sequenziali
• Guasti di progetto
• Path delay faults

Nota: i progetti devono essere comunque assegnati dal docente