Examples with "SystemC de" and their translation in Engels
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.
Pour autant, la simulation avec le simulateur SystemC de référence est séquentielle.
Pour autant, la simulation avec le simulateur SystemC de référence est séquentielle.
Andere resultaten
Enlevez la sonde de cuisson COOK CONTROL SYSTEMMC de son support et enfoncez-la dans la partie épaisse de la viande mais SANS toucher à l'os (voir la photo).
Remove the COOK CONTROL SYSTEM Monitor Probe from holder and insert probe into thick part of meat but NOT touching the bone (see photo).
Les différents modèles de calcul de SystemC-AMS ont été catégorisés dans cet objectif.
The SystemC-AMS models of computation have been classified for this purpose.
En plus, les outils d'Axilica supportent la génération de SystemC pour les simulations fonctionnelles performantes.
In addition, Axilica tools provide generation of SystemC for high-performance functional simulation.
Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile.
However, because of the complex concurrency model of SystemC, these challenges remain difficult tasks.
Cette thèse s'inscrit dans ce contexte et propose une méthodologie de modélisation SystemC d'architectures reconfigurables dynamiquement.
Within this framework, the proposed research work described in this thesis proposes a methodology for modeling dynamically reconfigurable architectures based on SystemC.
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.
Several research efforts around SystemC, considered the de facto standard for system-level design, are underway to meet these new challenges.
La traduction est prouvée par des modèles B décrivant la sémantique de simulation SystemC.
Translation correction is proved by use of B event-based models which explain simulation semantics of SystemC.
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.
Our framework is able to evaluate probabilistic and temporal properties on large systems modelled in SystemC, a standard system-level modelling language.
Ce cours est accompagné de nombreux exercices réalisés en binômes et décrit la version 2.2 de SystemC
This course is complemented by numerous exercises and describes SystemC version 2.2 Course material
L'étude de leur modélisation et de leur simulation en SystemC-AMS et de leur prototypage est un axe transverse du département.
The study of their modelling and simulation using SystemC-AMS and their prototyping is a transverse axis of the department.
La définition d'extensions orientées objet du langage de description de matériel SystemC a permis le développement d'outils de synthèse susceptibles de servir à la conception de circuits intégrés à haut niveau d'abstraction.
With the definition of object-orientated extensions to hardware description language SystemC, the development of synthesis tools supporting the design of integrated circuits at high level of abstraction was rendered possible.
