Modélisation, simulation et vérification de circuits numériques asynchrones dans le standard SystemC v2.0.1
Suivant les recommandations de l'ITRS 2003, il convient de s'intéresser aux circuits numériques asynchrones pour préparer l'avenir de la conception des circuits numériques. Sur le plan théorique, nous établissons le théorème de l'insensibilité aux délais des circuits numériques a...
Main Author: | Sirianni, A. |
---|---|
Language: | FRE |
Published: |
2004
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00006454 http://tel.archives-ouvertes.fr/docs/00/04/69/50/PDF/tel-00006454.pdf |
Similar Items
-
Vérification de propriétés logico-temporelles de spécifications SystemC TLM
by: Ferro, Luca
Published: (2011) -
Synthèse logique de circuits asynchrones micropipeline
by: REZZAG, A.
Published: (2004) -
SIMULATION SYMBOLIQUE DES CIRCUITS DÉCRITS AU NIVEAU ALGORITHMIQUE
by: Al-Sammane, G.
Published: (2005) -
Contribution à la conception de circuits intégrés sécurisés : l'alternative asynchrone
by: Bouesse, G.F.
Published: (2005) -
Prototypage basé sur une plateforme reconfigurable pour vérification des systèmes monopuces
by: SASONGKO, A
Published: (2004)