Andere Kunden interessierten sich auch für
![Vérification formelle du FDIR dans les réseaux intelligents]( "Vérification formelle du FDIR dans les réseaux intelligents")
Vérification formelle du FDIR dans les réseaux intelligents36,99 €![Automatisation et surveillance d'une ensacheuse semi-automatique]( "Automatisation et surveillance d'une ensacheuse semi-automatique")
Automatisation et surveillance d'une ensacheuse semi-automatique23,99 €![Vérification d¿un FPGA dans le système de contrôle de freinage d'Avion]( "Vérification d¿un FPGA dans le système de contrôle de freinage d'Avion")
Vérification d¿un FPGA dans le système de contrôle de freinage d'Avion26,99 €![Application de la technologie FPGA aux asservissements numériques]( "Application de la technologie FPGA aux asservissements numériques")
Application de la technologie FPGA aux asservissements numériques38,99 €![Réseaux de communication sur puce Mesh & Torus]( "Réseaux de communication sur puce Mesh & Torus")
Réseaux de communication sur puce Mesh & Torus26,99 €![Vérification des systèmes sur puce SOC basée sur les Assertions ABV]( "Vérification des systèmes sur puce SOC basée sur les Assertions ABV")
Vérification des systèmes sur puce SOC basée sur les Assertions ABV32,99 €![Mesure de Charges dans les Matériaux Semi-conducteurs et les Métaux]( "Mesure de Charges dans les Matériaux Semi-conducteurs et les Métaux")
Mesure de Charges dans les Matériaux Semi-conducteurs et les Métaux40,99 €
La vérification à base de propriétés (PBV) est devenue un élément essentiel des flots de conception pour supporter la vérification de circuits complexes. La vérification dynamique à base de propriétés connecte au circuit des moniteurs et des générateurs de test synthétisés à partir de propriétés pour construire de manière simple un environnement de test. Une partie des travaux à consisté à développer une approche de synthèse de propriétés pour la génération de vecteurs de test. Il est alors possible de spécifier et d'obtenir un modèle pour tout l'environnement du circuit.La contribution la plus intéressante de cette thèse tiens dans la méthode qui a été mise en place pour synthétiser une spécification temporelle en un circuit correct par construction. Alors que les approches de l'état de l'art ont une complexité polynomiale, la nôtre est linéaire en la spécification. L'outil SyntHorus a été développé pour supporter cette méthode et synthétise en quelques secondes un circuit correct par construction à partir d'une spécification de plusieurs centaines de propriétés. Les méthodes et outils développés durant cette thèse ont été validés, renforcés et transférés dans l'industrie.