Hw Sw Codesign
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Algoritmos e arquiteturas para o desenvolvimento de sistemas computacionais / Algorithms and architectures to the development of computational systems
Este trabalho trata de arquiteturas e algoritmos para o desenvolvimento de sistemas computacionais. Tais sistemas são constituídos de um microprocessador (específico ou comercialmente disponível), de seu conjunto de programas e de um HW dedicado que será utilizado para otimização do sistema. O objetivo principal desta tese é demonstrar que, presentem
Publicado em: 2009
-
2. A Coverification Framework
In dieser Dissertation wird eine Koverifikations-Umgebung (coverification fra-mework CVF) präsentiert. CVF ist geeignet für die Validierung von Systemen die aus Hardware und Software bestehen. Das Werkzeug profitiert von der partitionierten Natur der HW/SW-Systeme, da die Eigenschaften der Systeme modular verifiziert werden. Die Modellprüfung (model check
Publicado em: 1999