Simlação Entos Discrtos Aplicação à simlação Circitos Lógicos AED -
Esma m Simlador Entos Discrtos x x x Actaliza Actaliza Estado Estado x x = = f f (x, (x, ) ) x Inicializa Inicializa LISTA EVENTOS t t. t t t Actaliza Actaliza Tmpo Tmpo t t = = t t t Entos Entos Elimina Elimina ntos ntos ( ( k, k, t k t ) k ) ntos ntos ( ( k, t ) k, t ) r-orna r-orna
Passos Simlação. Rtirar o primiro lmnto, (, t ), da LISTA DE EVENTOS;. Actalizar o tmpo simlação (), aançando-o para o instant do noo nto, t;. Actalizar o acordo com as rgras transição, rprsntadas pla fnção transição stado, x =f(x, );. Eliminar da LISTA DE EVENTOS todas as ntradas corrsponnts a ntos incompatíis com o noo stado x ; 5. Adicionar à LISTA DE EVENTOS todos os ntos ainda não stjam agndados, spoltados plo nto procssado; 6. Rornar a LISTA DE EVENTOS por orm crscnt tmpo.
Componnts m Simlador : mmória on todas as ariáis stado são gardadas; : ariál armazna o tmpo simlação; LISTA DE EVENTOS: on todos os ntos agndados são gardados, com indicação dos instants tmpo m ocorrm; Fnção Inicialização: fnção inicializa todas as strtras dados no início ma simlação; Fnção Actalização Estado: fnção actaliza o stado basado no próximo nto a ocorrr; Fnçõs Gração Entos : conjnto fnçõs gram ntos rlacionados xplicitamnt com o tmpo, por xmplo, ntos priódicos; Fnção Principal: rsponsál pla coornação todas as componnts do simlador. Comça por inocar a fnção inicialização, após o, rptidamnt, inoca as fnçõs actalização do tmpo do stado actaliza a ornada ntos. É também rsponsál pla trminação da simlação, basada na obsrância critérios spcificados plo tilizador, bm como pla aprsntação dos rsltados da simlação.
Exmplo Circito Lógico xin G G G z_ G Portas lógicas: G (and), G (nand), G (not), G (or) Atrasos das portas: G = ; G = ; G = ; G = ; Entradas do circito: xin,,, Saídas do circito: z_, Nós do circito: xin,,,,,, z_, 5
Molo Atraso Molo Atraso Fixo: cada porta tm m atraso fixo ntrada para a saída, finido na scrição da porta. O molo atraso assm inércia nos sinais transiçõs. Isto significa a saída ma porta lógica só mda como consência ma altração nas ntradas s as ntradas mantirm constants a condição para o noo alor da saída até ao instant fctio da altração da saída. 6
7 Simlação xin in U Y in U U V U in Nó Valor Tmpo G G G G xin z_ Sinais ntrada:
xin G G G z_ xin z_ G Inicialização: Tmpo Valor Nó in U V U U in Y U Entos Entos xin,,,, ntos ntos ( ( k, t ) k, t ) r-orna r-orna in xin 8
xin G G G z_ xin z_ G t=: xi,,, Actaliza Actaliza Tmpo Tmpo t t = = Actaliza Actaliza Estado Estado x x = = f f (x, (x, ) ),, Rtira o nto (xi,, ) da ntos Actaliza o Actaliza o xin afcta a porta G grando o nto (,, ) ntos ntos ( ( k, t ) k, t ) r-orna r-orna 9
xin G G G z_ xin z_ G t=:, t=:,,,, t=:,,,,,
xin G G G z_ xin z_ G t=:, t=:,, t=5: z_, 5 z_,, 5 7 5, 7
xin G G G z_ xin z_ G t=7: t=:, 7, t=9: Z_ot, 9 7 9,, 6, ntos ntos ( ( k, t ) k, t ) r-orna r-orna t=6:, 6 ntos ntos ( ( k, t ) k, t ) r-orna r-orna 6 Entos Entos Z_ot, 9 Entos Entos
xin G G G z_ xin z_ t=: G,, t=5: t=:, 5, 5 xin,, Entos Entos,,, t=:,, 5 t=: xin,,, t=:,,,
xin G G G G z_ xin z_ t=5: z_, 5 t=:, 5, 7,, 5 t=7:, 7 7 t=:, z_, 5, 7 Elimina Elimina ntos ntos ( ( k, k, t k t ) k ) Inércia na transição: os sinais na ntrada G não s mantiram constants ants da transição m t=5, plo sta ixa tr fito, rtirando-s o nto (, ) da ntos xin, Entos Entos
xin G G G z_ xin z_ G t=: xin, Entos Entos xin,, t=: xin, Elimina Elimina ntos ntos ( ( k, k, t k t ) k ) Inércia na transição: o sinal xin não s mant constant na ntrada G ants da transição = m t=, plo sta ixa tr fito, rtirando-s o nto (, ) da ntos 5
6