Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Embedded systems are becoming a core technology in a growing range of consumer and other electronic devices. Cornerstones of embedded systems are analog and mixed signal (AMS) designs, which are integrated circuits required at the interfaces with the real world environment. The verification of AMS designs is concerned with the assurance of correct functionality, in addition to checking robustness with respect to different types of inaccuracies like parameter tolerances, nonlinearities, etc. In this talk, we review recent research on the application of formal methods to the verification of AMS designs. Formal verification is a technology based on using computerized algorithms …
Colloque
Le système HW/SW est un assemblage d'entités logicielles et matérielles. Ces dernières peuvent être récemment ou précédemment conçues (à conception courante ou préconçues). Dans ce dernier cas, il s'agit d'une réutilisation de produits à propriétés intellectuelles (PI) ; ces éléments IP sont fournis aux clients sous forme de boites noires pour la raison que les constructeurs préservent leurs droits sur ces produits. En d'autres mots, seulement le comportement externe de ces éléments est disponible à l'acheteur quant aux détails de leurs structures internes, ils restent une propriété privée de leurs constructeurs. Ces systèmes connaissent une grande difficulté au niveau de …
