Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction
Les travaux présentés dans ce document portent sur la vérification<br />de modèles de systèmes sur puce, au niveau transactionnel (TLM).<br />Nous présentons le niveau transactionnel et ses variantes, et<br />rappelons en quoi ce nouveau niveau d'abstraction est aujourd'h...
Main Author: | |
---|---|
Language: | ENG |
Published: |
2005
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00311033 http://tel.archives-ouvertes.fr/docs/00/31/10/33/PDF/these-fr.pdf http://tel.archives-ouvertes.fr/docs/00/31/10/33/PDF/these-en.pdf http://tel.archives-ouvertes.fr/docs/00/31/10/33/ANNEX/slides-these.pdf |