Capacitação em Projeto de Circuitos Integrados Digitais
DFTAdvisor para inserir scan chains em circuitos
sequenciais, preparando-os para ATPG
via
Fastscan.
no circuito e gere os seguinte arquivos.
Nota: para este exercício você vai precisar da biblioteca
atglib.
![]()
![]()

(a)
Isole
a parte combinacional do circuito em counter3_comb.v e use Fastscan para calcular
um vetor de teste que cobre a falha mostrada. Anote o mesmo.
no
FF de scan descrito em atglib.