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...

Full description

Bibliographic Details
Main Author: Fabricio Orlando Damasceno
Other Authors: Claudionor Jose Nunes Coelho Junior
Format: Others
Language:Portuguese
Published: Universidade Federal de Minas Gerais 2005
Online Access:http://hdl.handle.net/1843/SLBS-6GVF6Y