Verificação de Modelos de Hardware que Usam a Biblioteca do SystemC
Projetar softwares embarcados tem sido uma tarefa que exige uma execução próxima à perfeição, uma vez que a nossa dependência ao funcionamento correto desses sistemas tem aumentado rapidamente, de forma que um erro, falha ou bug pode causar prejuízos altíssimos à sociedade. Os sistemas embarcados sã...
| Autor principal: | Luciano Nunes Sobral |
|---|---|
| Grau: | Relatório de Pesquisa |
| Idioma: | pt_BR |
| Publicado em: |
Universidade Federal do Amazonas
2016
|
| Assuntos: | |
| Acesso em linha: |
http://riu.ufam.edu.br/handle/prefix/3213 |