Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Vérification semi-formelle et synthèse automatique de psl vers hdl
Univ Europeenne - EAN : 9786131550751
Édition papier
EAN : 9786131550751
Paru le : 7 déc. 2010
69,00 €
65,40 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131550751
- Réf. fournisseur : 4898833
- Editeur : Univ Europeenne
- Date Parution : 7 déc. 2010
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 216
- Format : H:229 mm L:152 mm E:13 mm
- Poids : 325gr
- Interdit de retour : Retour interdit
- Résumé : 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.
