Search
Now showing items 1-1 of 1
Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
(2012-05-03)
Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de ...