Amélioration du processus de vérification des architectures générées à l'aide d'outils de synthèse de haut-niveau

L'augmentation de la capacité d'intégration des circuits a permis le développement des systèmes de plus en plus complexes. De cette complexité sont nés des besoins conséquents quant aux méthodes de conception et de vérification. Les outils de synthèse de haut-niveau (HLS) sont une des répo...

Full description

Bibliographic Details
Main Author: Ribon, Aurélien
Other Authors: Bordeaux 1
Language:fr
Published: 2012
Subjects:
HLS
Online Access:http://www.theses.fr/2012BOR14719/document