Eletronica Digital Testes Teses
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Verificação de equivalência de circuitos combinacionais dissimilares através do reaproveitamento de cláusulas de conflito
As time goes by, integrated circuits are becoming ever more present in our lives. From the mobile phones we use to the cars we drive, we have almost constant interaction with electronic devices. This proliferation leads to the necessity for more agile and compact circuits, which in turn, makes them more complex and expensive. To produce error-free circuits,
Publicado em: 2008
-
2. Contribuições para o problema de verificação de equivalência combinacional
A decrease the SAT solver solving time used to prove equivalence between the circuits. Through this technique, which was implemented in a tool called Vimplic, we have been able to dramatically reduce the overall verification time of several circuits outperforming the state-of-the-art techniques for CEC. This technique has been formalized in order to assure c
Publicado em: 2008
-
3. Verificação de equivalência de circuitos com aceleração por largura e aprendizado de cláusulas de conflito
Equivalence checking (EQ) is a very common formal verification method used in the semiconductor industry. It makes possible to verify if two different implementation of the same design have the same functional behavior which is very useful to make sure that the design still behaves correctly after optimizations (like retiming) or synthesis. Several known met
Publicado em: 2007