Newsletter

Ja, Ich möchte den Newsletter der AC Distribution & Marketing GmbH mit Neuigkeiten, Gutscheinen und Aktionen zu Musik-, Video-, Elektro-, Haushalts- und Geschenkartikeln per E-Mail erhalten. Meine Daten werden keinesfalls an Dritte weitergegeben. Die Abmeldung ist jederzeit kostenlos möglich.

  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 917 917 (0,14€/min, mobil max.0,42€/min)

Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL

Oddos:Vérification Semi-Formelle et Syn
Autor: Yann Oddos
Verfügbarkeit: Auf Lager.
Artikelnummer: 1054604
ISBN / EAN: 9786131550751

Verfügbarkeit: sofort lieferbar

69,00 €
Inkl. MwSt. , zzgl. Versandkosten

Produktbeschreibung

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.

Zusatzinformation

Autor Verlag Éditions universitaires européennes
ISBN / EAN 9786131550751 Bindung Taschenbuch

Sie könnten auch an folgenden Produkten interessiert sein

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!