Utilizando SNMP para asserções em hardware
=== Due to the exponential increase of circuit complexity and due to the wide use of conventional veri¯cation techniques, the development of error-free circuits seems to be a di±culttask to accomplish. As the generation of project error-free circuits is not possible, a new approach must be used, al...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
Universidade Federal de Minas Gerais
2005
|
Online Access: | http://hdl.handle.net/1843/SLBS-6GVF6Y |