Processador de asserções para depuração de circuitos integrados em tempo de execução
=== White-box verification is a technique that reduces observabihty problems by locating a failure during design simulation without the need to propagate the failure to the I/O pins. White-box verification in chip level designs can be implemented using assertion checkers to ensure the correct behav...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2004
|
| Online Access: | http://hdl.handle.net/1843/BUBD-9K9MDQ |