Vertaling van "SystemC" in Frans
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
A case study illustrates architecture exploration through the generation of SystemC virtual prototypes.
Une étude de cas illustre l'exploration d'architecture par la génération de prototypes virtuels en SystemC.
However, the reference SystemC simulator execute simulations sequentially.
Pour autant, la simulation avec le simulateur SystemC de référence est séquentielle.
However, the reference SystemC simulator execute simulations sequentially.
A specific SystemC program can be represented with a B model.
Un programme est représenté par un modèle B, instanciation des modèles de simulation.
However, because of the complex concurrency model of SystemC, these challenges remain difficult tasks.
Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile.
The sequential execution enables to keep good properties of SystemC simulations, namely reproducibility and ease of model writing.
Ceci permet de garantir les bonnes propriétés des simulations SystemC, en particulier la reproductibilité et le confort d'écriture des modèles.
Within this framework, the proposed research work described in this thesis proposes a methodology for modeling dynamically reconfigurable architectures based on SystemC.
Cette thèse s'inscrit dans ce contexte et propose une méthodologie de modélisation SystemC d'architectures reconfigurables dynamiquement.
Several research efforts around SystemC, considered the de facto standard for system-level design, are underway to meet these new challenges.
Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis.
Translation correction is proved by use of B event-based models which explain simulation semantics of SystemC.
La traduction est prouvée par des modèles B décrivant la sémantique de simulation SystemC.
Our framework is able to evaluate probabilistic and temporal properties on large systems modelled in SystemC, a standard system-level modelling language.
Notre cadre est en mesure d'évaluer les propriétés probabilistes et temporelles sur les grands systèmes modélisés dans SystemC, un langage de modélisation au niveau du système standard.
Further time and cost savings can be achieved if investors fund research on optimising automation, integration and scalability for SystemC designs.
Des économies de temps et de coût supplémentaires seront possibles si des investisseurs financent la recherche sur l'optimisation de l'automatisation, de l'intégration et de la modularité des conceptions SystemC.
The parallelism of the model is expressed with SystemC processes, which are executed sequentially during simulation (we call this "cooperative" simulation).
Le parallélisme du système modélisé est exprimé avec des processus SystemC, qui s'exécutent séquentiellement pendant la simulation (on parle de simulation « coopérative »).
Parallelism of the embedded system is modeled with SystemC processes, which are executed sequentially during simulation (we refer to this as "cooperative" simulation).
Le parallélisme du système modélisé est exprimé avec des processus SystemC, qui s'exécutent séquentiellement pendant la simulation (on parle de simulation « coopérative »).