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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2008
|
| Online Access: | http://hdl.handle.net/1843/RVMR-7PVHSK |